Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 3 | 57.1982 | 7.77846 |
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 | 6.15173 |
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-4394584-1568439899.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394584-1568439899.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.31/0.64 c solve instance... 8.84/1.62 o 0 12.08/2.07 o 1 12.74/2.17 o 2 14.93/2.46 o 3 56.73/7.76 s OPTIMUM FOUND 56.73/7.76 v <instantiation> 56.73/7.76 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> 56.73/7.76 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> 56.73/7.76 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 (15217 MiB free) memory of node 1: 16384 MiB (15502 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394584-1568439899/watcher-4394584-1568439899 -o /tmp/evaluation-result-4394584-1568439899/solver-4394584-1568439899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 444462876 HOME/instance-4394584-1568439899.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=26213, runsolver pid=26210 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 7.17 8.09 8.30 2/216 26234 /proc/meminfo: memFree=31439684/32770624 swapFree=67004144/67108860 [pid=26213] ppid=26210 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26213/stat : 26213 (xcsp3-exec) S 26210 26213 25788 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420229543 115843072 364 33554432000 4194304 5098028 140725721565104 140725721563208 140430881317500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30887936 140725721568118 140725721568361 140725721568361 140725721571274 0 /proc/26213/statm: 28282 364 305 221 0 87 0 [pid=26215] ppid=26213 vsize=28227388 memory=29716 CPUtime=0.13 cores=0-7 /proc/26215/stat : 26215 (java) S 26213 26213 25788 0 -1 1077944320 5835 0 0 0 11 2 0 0 20 0 20 0 420229543 28904845312 7429 33554432000 4194304 4196468 140736667717696 140736667700240 139804414738167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 /proc/26215/statm: 7056847 7429 3156 1 0 7019032 0 [pid=26215/tid=26216] ppid=26213 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/26215/task/26216/stat : 26216 (java) R 26213 26213 25788 0 -1 4202560 3753 0 0 0 8 1 0 0 20 0 20 0 420229543 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804418970496 139804414750102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26217] ppid=26213 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/26215/task/26217/stat : 26217 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804367358224 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26218] ppid=26213 vsize=28227388 memory=140596183926400 CPUtime=0 cores=0-7 /proc/26215/task/26218/stat : 26218 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804366305680 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26219] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26219/stat : 26219 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804365253136 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26220] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26220/stat : 26220 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804364200592 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26221] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26221/stat : 26221 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804363148048 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26222] ppid=26213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26215/task/26222/stat : 26222 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804362095504 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26223] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26223/stat : 26223 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804361042960 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26224] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26224/stat : 26224 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 7429 33554432000 4194304 4196468 140736667717696 139804359990416 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26225] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26225/stat : 26225 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229546 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802542319600 139804414749314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26226] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26226/stat : 26226 (java) S 26213 26213 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420229546 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802541265824 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26227] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26227/stat : 26227 (java) S 26213 26213 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420229546 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802540213232 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26228] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26228/stat : 26228 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802539161808 139804414756763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26229] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26229/stat : 26229 (java) S 26213 26213 25788 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802538109424 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26230] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26230/stat : 26230 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802537056880 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26231] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26231/stat : 26231 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802536004336 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26232] ppid=26213 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/26215/task/26232/stat : 26232 (java) R 26213 26213 25788 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 420229549 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802534951792 139804414759514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26233] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26233/stat : 26233 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802533898464 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26234] ppid=26213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26215/task/26234/stat : 26234 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 7429 33554432000 4194304 4196468 140736667717696 139802532846000 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31172 KiB [startup+0.210843 s]* /proc/loadavg: 7.17 8.09 8.30 3/216 26234 /proc/meminfo: memFree=31426648/32770624 swapFree=67004144/67108860 [pid=26213] ppid=26210 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26213/stat : 26213 (xcsp3-exec) S 26210 26213 25788 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420229543 115843072 364 33554432000 4194304 5098028 140725721565104 140725721563208 140430881317500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30887936 140725721568118 140725721568361 140725721568361 140725721571274 0 /proc/26213/statm: 28282 364 305 221 0 87 0 [pid=26215] ppid=26213 vsize=28227388 memory=40904 CPUtime=0.34 cores=0-7 /proc/26215/stat : 26215 (java) S 26213 26213 25788 0 -1 1077944320 9521 0 0 0 30 4 0 0 20 0 20 0 420229543 28904845312 10226 33554432000 4194304 4196468 140736667717696 140736667700240 139804414738167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 /proc/26215/statm: 7056847 10226 3293 1 0 7019032 0 [pid=26215/tid=26216] ppid=26213 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/26215/task/26216/stat : 26216 (java) R 26213 26213 25788 0 -1 4202560 6664 0 0 0 17 2 0 0 20 0 20 0 420229543 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804418977168 139804396387770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26217] ppid=26213 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/26215/task/26217/stat : 26217 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804367358224 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26218] ppid=26213 vsize=28227388 memory=3690340432905864864 CPUtime=0 cores=0-7 /proc/26215/task/26218/stat : 26218 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804366305680 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26219] ppid=26213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26215/task/26219/stat : 26219 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804365253136 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26220] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26220/stat : 26220 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804364200592 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26221] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26221/stat : 26221 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804363148048 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26222] ppid=26213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26215/task/26222/stat : 26222 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804362095504 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26223] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26223/stat : 26223 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804361042960 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26224] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26224/stat : 26224 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229544 28904845312 10226 33554432000 4194304 4196468 140736667717696 139804359990416 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26225] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26225/stat : 26225 (java) S 26213 26213 25788 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420229546 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802542319600 139804414749314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26226] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26226/stat : 26226 (java) S 26213 26213 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420229546 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802541265824 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26227] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26227/stat : 26227 (java) S 26213 26213 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420229546 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802540213232 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26228] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26228/stat : 26228 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802539161808 139804414756763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26229] ppid=26213 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/26215/task/26229/stat : 26229 (java) S 26213 26213 25788 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 20 0 420229549 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802538109424 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26230] ppid=26213 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/26215/task/26230/stat : 26230 (java) S 26213 26213 25788 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 420229549 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802537056880 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26231] ppid=26213 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/26215/task/26231/stat : 26231 (java) S 26213 26213 25788 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 420229549 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802536004336 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26232] ppid=26213 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/26215/task/26232/stat : 26232 (java) R 26213 26213 25788 0 -1 4202560 751 0 0 0 7 0 0 0 20 0 20 0 420229549 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802534951920 139804393873827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26233] ppid=26213 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26233/stat : 26233 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802533898464 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26234] ppid=26213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/26215/task/26234/stat : 26234 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229549 28904845312 10226 33554432000 4194304 4196468 140736667717696 139802532846000 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42360 KiB [startup+0.312153 s]* /proc/loadavg: 7.17 8.09 8.30 3/216 26234 /proc/meminfo: memFree=31420852/32770624 swapFree=67004144/67108860 [pid=26213] ppid=26210 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26213/stat : 26213 (xcsp3-exec) S 26210 26213 25788 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420229543 115843072 364 33554432000 4194304 5098028 140725721565104 140725721563208 140430881317500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30887936 140725721568118 140725721568361 140725721568361 140725721571274 0 /proc/26213/statm: 28282 364 305 221 0 87 0 [pid=26215] ppid=26213 vsize=28231644 memory=50504 CPUtime=0.53 cores=0-7 /proc/26215/stat : 26215 (java) S 26213 26213 25788 0 -1 1077944320 10965 0 0 0 49 4 0 0 20 0 20 0 420229543 28909203456 12626 33554432000 4194304 4196468 140736667717696 140736667700240 139804414738167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 /proc/26215/statm: 7057911 12626 3368 1 0 7019032 0 [pid=26215/tid=26216] ppid=26213 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/26215/task/26216/stat : 26216 (java) R 26213 26213 25788 0 -1 4202560 7862 0 0 0 27 3 0 0 20 0 20 0 420229543 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804418973496 139804414760093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26217] ppid=26213 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26217/stat : 26217 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804367358224 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26218] ppid=26213 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26218/stat : 26218 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804366305680 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26219] ppid=26213 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26219/stat : 26219 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804365253136 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26220] ppid=26213 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26220/stat : 26220 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804364200592 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26221] ppid=26213 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/26215/task/26221/stat : 26221 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804363148048 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26222] ppid=26213 vsize=28231644 memory=140596022965167 CPUtime=0 cores=0-7 /proc/26215/task/26222/stat : 26222 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804362095504 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26223] ppid=26213 vsize=28231644 memory=140596022967472 CPUtime=0 cores=0-7 /proc/26215/task/26223/stat : 26223 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804361042960 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26224] ppid=26213 vsize=28231644 memory=140596022969776 CPUtime=0 cores=0-7 /proc/26215/task/26224/stat : 26224 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229544 28909203456 12632 33554432000 4194304 4196468 140736667717696 139804359990416 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26225] ppid=26213 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26225/stat : 26225 (java) S 26213 26213 25788 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420229546 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802542319600 139804414749314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26226] ppid=26213 vsize=28231644 memory=281192045946512 CPUtime=0 cores=0-7 /proc/26215/task/26226/stat : 26226 (java) S 26213 26213 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420229546 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802541265824 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26227] ppid=26213 vsize=28231644 memory=281192045953424 CPUtime=0 cores=0-7 /proc/26215/task/26227/stat : 26227 (java) S 26213 26213 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420229546 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802540213232 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26228] ppid=26213 vsize=28231644 memory=281192045894704 CPUtime=0 cores=0-7 /proc/26215/task/26228/stat : 26228 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229549 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802539161808 139804414756763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26229] ppid=26213 vsize=28231644 memory=281192045967248 CPUtime=0.02 cores=0-7 /proc/26215/task/26229/stat : 26229 (java) S 26213 26213 25788 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 20 0 420229549 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802538109424 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26230] ppid=26213 vsize=28231644 memory=281192045974160 CPUtime=0.02 cores=0-7 /proc/26215/task/26230/stat : 26230 (java) S 26213 26213 25788 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 420229549 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802537056880 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26231] ppid=26213 vsize=28231644 memory=281192045971856 CPUtime=0.03 cores=0-7 /proc/26215/task/26231/stat : 26231 (java) R 26213 26213 25788 0 -1 4202560 320 0 0 0 3 0 0 0 20 0 20 0 420229549 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802535985352 139804393999694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26232] ppid=26213 vsize=28231644 memory=281192045988016 CPUtime=0.12 cores=0-7 /proc/26215/task/26232/stat : 26232 (java) S 26213 26213 25788 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 420229549 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802534951792 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26233] ppid=26213 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26233/stat : 26233 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420229549 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802533898464 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26234] ppid=26213 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/26215/task/26234/stat : 26234 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420229549 28909203456 12632 33554432000 4194304 4196468 140736667717696 139802532846000 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51960 KiB [startup+0.70657 s] /proc/loadavg: 7.17 8.09 8.30 3/216 26234 /proc/meminfo: memFree=31405020/32770624 swapFree=67004144/67108860 [pid=26213] ppid=26210 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26213/stat : 26213 (xcsp3-exec) S 26210 26213 25788 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420229543 115843072 364 33554432000 4194304 5098028 140725721565104 140725721563208 140430881317500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30887936 140725721568118 140725721568361 140725721568361 140725721571274 0 /proc/26213/statm: 28282 364 305 221 0 87 0 [pid=26215] ppid=26213 vsize=28766280 memory=100516 CPUtime=1.77 cores=0-7 /proc/26215/stat : 26215 (java) S 26213 26213 25788 0 -1 1077944320 15504 0 0 0 170 7 0 0 20 0 28 0 420229543 29456670720 25129 33554432000 4194304 4196468 140736667717696 140736667700240 139804414738167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 /proc/26215/statm: 7191570 25129 3452 1 0 7152672 0 [pid=26215/tid=26216] ppid=26213 vsize=28766280 memory=281192046345904 CPUtime=0.65 cores=0-7 /proc/26215/task/26216/stat : 26216 (java) S 26213 26213 25788 0 -1 1077944384 9405 0 0 0 61 4 0 0 20 0 28 0 420229543 29456670720 25129 33554432000 4194304 4196468 140736667717696 139804418978944 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26217] ppid=26213 vsize=28766280 memory=140596023174000 CPUtime=0 cores=0-7 /proc/26215/task/26217/stat : 26217 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420229544 29456670720 25129 33554432000 4194304 4196468 140736667717696 139804367358224 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26218] ppid=26213 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26218/stat : 26218 (java) S 26213 26213 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 420229544 29456670720 25129 33554432000 4194304 4196468 140736667717696 139804366305680 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26219] ppid=26213 vsize=28766280 memory=2832 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=26215/tid=26232] ppid=26213 vsize=28768328 memory=1056 CPUtime=0.89 cores=0-7 /proc/26215/task/26232/stat : 26232 (java) S 26213 26213 25788 0 -1 1077944384 5233 0 0 0 87 2 0 0 20 0 28 0 420229549 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802534951792 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26233] ppid=26213 vsize=28768328 memory=33 CPUtime=0 cores=0-7 /proc/26215/task/26233/stat : 26233 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802533898464 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26234] ppid=26213 vsize=28768328 memory=7522819427447564374 CPUtime=0 cores=0-7 /proc/26215/task/26234/stat : 26234 (java) S 26213 26213 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802532846000 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26267] ppid=26213 vsize=28768328 memory=288230574492221466 CPUtime=3.78 cores=0-7 /proc/26215/task/26267/stat : 26267 (java) R 26213 26213 25788 0 -1 4202560 129 0 0 0 378 0 0 0 20 0 28 0 420229789 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802215959608 139804027954228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26268] ppid=26213 vsize=28768328 memory=288230583166042426 CPUtime=3.54 cores=0-7 /proc/26215/task/26268/stat : 26268 (java) R 26213 26213 25788 0 -1 4202560 113 0 0 0 354 0 0 0 20 0 28 0 420229789 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802208592472 139804031645944 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26269] ppid=26213 vsize=28768328 memory=14694080391154107 CPUtime=3.4 cores=0-7 /proc/26215/task/26269/stat : 26269 (java) R 26213 26213 25788 0 -1 4202560 761 0 0 0 340 0 0 0 20 0 28 0 420229789 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802211752152 139804029224121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26270] ppid=26213 vsize=28768328 memory=0 CPUtime=3.51 cores=0-7 /proc/26215/task/26270/stat : 26270 (java) R 26213 26213 25788 0 -1 4202560 117 0 0 0 351 0 0 0 20 0 28 0 420229789 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802214908024 139804027400003 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26271] ppid=26213 vsize=28768328 memory=0 CPUtime=3.65 cores=0-7 /proc/26215/task/26271/stat : 26271 (java) R 26213 26213 25788 0 -1 4202560 138 0 0 0 365 0 0 0 20 0 28 0 420229789 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802213856216 139804027399871 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26272] ppid=26213 vsize=28768328 memory=0 CPUtime=3.35 cores=0-7 /proc/26215/task/26272/stat : 26272 (java) R 26213 26213 25788 0 -1 4202560 351 0 0 0 335 0 0 0 20 0 28 0 420229789 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802210696312 139804027399929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26273] ppid=26213 vsize=28768328 memory=0 CPUtime=3.67 cores=0-7 /proc/26215/task/26273/stat : 26273 (java) R 26213 26213 25788 0 -1 4202560 80 0 0 0 367 0 0 0 20 0 28 0 420229789 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802212802792 139804025823894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26274] ppid=26213 vsize=28768328 memory=0 CPUtime=3.56 cores=0-7 /proc/26215/task/26274/stat : 26274 (java) R 26213 26213 25788 0 -1 4202560 158 0 0 0 356 0 0 0 20 0 28 0 420229790 29458767872 77606 33554432000 4194304 4196468 140736667717696 139802209644920 139804027399560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 Current children cumulated CPU time: 52.76 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 311880 KiB [startup+7.60164 s] /proc/loadavg: 7.47 8.14 8.31 11/224 26274 /proc/meminfo: memFree=31160048/32770624 swapFree=67004144/67108860 [pid=26213] ppid=26210 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26213/stat : 26213 (xcsp3-exec) S 26210 26213 25788 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420229543 115843072 364 33554432000 4194304 5098028 140725721565104 140725721563208 140430881317500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30887936 140725721568118 140725721568361 140725721568361 140725721571274 0 /proc/26213/statm: 28282 364 305 221 0 87 0 [pid=26215] ppid=26213 vsize=28768328 memory=337224 CPUtime=55.93 cores=0-7 /proc/26215/stat : 26215 (java) S 26213 26213 25788 0 -1 1077944320 69838 0 0 0 5557 36 0 0 20 0 28 0 420229543 29458767872 84306 33554432000 4194304 4196468 140736667717696 140736667700240 139804414738167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 /proc/26215/statm: 7192082 84306 3534 1 0 7153184 0 [pid=26215/tid=26216] ppid=26213 vsize=28768328 memory=111628 CPUtime=0.65 cores=0-7 /proc/26215/task/26216/stat : 26216 (java) S 26213 26213 25788 0 -1 1077944384 9466 0 0 0 61 4 0 0 20 0 28 0 420229543 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804418978944 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26217] ppid=26213 vsize=28768328 memory=2052 CPUtime=0.04 cores=0-7 /proc/26215/task/26217/stat : 26217 (java) S 26213 26213 25788 0 -1 1077944384 786 0 0 0 2 2 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804367358224 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26218] ppid=26213 vsize=28768328 memory=1220 CPUtime=0.03 cores=0-7 /proc/26215/task/26218/stat : 26218 (java) S 26213 26213 25788 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804366305680 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26219] ppid=26213 vsize=28768328 memory=1616 CPUtime=0.03 cores=0-7 /proc/26215/task/26219/stat : 26219 (java) S 26213 26213 25788 0 -1 1077944384 210 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804365253136 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26220] ppid=26213 vsize=28768328 memory=784 CPUtime=0.03 cores=0-7 /proc/26215/task/26220/stat : 26220 (java) S 26213 26213 25788 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804364200592 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26221] ppid=26213 vsize=28768328 memory=8252 CPUtime=0.03 cores=0-7 /proc/26215/task/26221/stat : 26221 (java) S 26213 26213 25788 0 -1 1077944384 368 0 0 0 3 0 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804363148048 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26222] ppid=26213 vsize=28768328 memory=5936 CPUtime=0.03 cores=0-7 /proc/26215/task/26222/stat : 26222 (java) S 26213 26213 25788 0 -1 1077944384 152 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804362095504 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26223] ppid=26213 vsize=28768328 memory=1056 CPUtime=0.05 cores=0-7 /proc/26215/task/26223/stat : 26223 (java) S 26213 26213 25788 0 -1 1077944384 222 0 0 0 4 1 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804361042960 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26224] ppid=26213 vsize=28768328 memory=1540 CPUtime=0.02 cores=0-7 /proc/26215/task/26224/stat : 26224 (java) S 26213 26213 25788 0 -1 1077944384 84 0 0 0 1 1 0 0 20 0 28 0 420229544 29458767872 84306 33554432000 4194304 4196468 140736667717696 139804359990416 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26225] ppid=26213 vsize=28768328 memory=728 CPUtime=0.01 cores=0-7 /proc/26215/task/26225/stat : 26225 (java) S 26213 26213 25788 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 28 0 420229546 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802542319600 139804414749314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26226] ppid=26213 vsize=28768328 memory=3924 CPUtime=0 cores=0-7 /proc/26215/task/26226/stat : 26226 (java) S 26213 26213 25788 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 420229546 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802541265888 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26227] ppid=26213 vsize=28768328 memory=2832 CPUtime=0 cores=0-7 /proc/26215/task/26227/stat : 26227 (java) S 26213 26213 25788 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 420229546 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802540213248 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26228] ppid=26213 vsize=28768328 memory=1212 CPUtime=0 cores=0-7 /proc/26215/task/26228/stat : 26228 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802539161808 139804414756763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26229] ppid=26213 vsize=28768328 memory=1036 CPUtime=3.97 cores=0-7 /proc/26215/task/26229/stat : 26229 (java) S 26213 26213 25788 0 -1 1077944384 14842 0 0 0 394 3 0 0 20 0 28 0 420229549 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802538109424 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26230] ppid=26213 vsize=28768328 memory=14008 CPUtime=4.44 cores=0-7 /proc/26215/task/26230/stat : 26230 (java) S 26213 26213 25788 0 -1 1077944384 15770 0 0 0 440 4 0 0 20 0 28 0 420229549 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802537056880 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26231] ppid=26213 vsize=28768328 memory=12024 CPUtime=3.78 cores=0-7 /proc/26215/task/26231/stat : 26231 (java) S 26213 26213 25788 0 -1 1077944384 16375 0 0 0 375 3 0 0 20 0 28 0 420229549 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802536004336 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26232] ppid=26213 vsize=28768328 memory=2116 CPUtime=0.9 cores=0-7 /proc/26215/task/26232/stat : 26232 (java) S 26213 26213 25788 0 -1 1077944384 5403 0 0 0 88 2 0 0 20 0 28 0 420229549 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802534951792 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26233] ppid=26213 vsize=28768328 memory=21836 CPUtime=0 cores=0-7 /proc/26215/task/26233/stat : 26233 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802533898464 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26234] ppid=26213 vsize=28768328 memory=496 CPUtime=0 cores=0-7 /proc/26215/task/26234/stat : 26234 (java) S 26213 26213 25788 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802532846000 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26267] ppid=26213 vsize=28768328 memory=1564 CPUtime=4.17 cores=0-7 /proc/26215/task/26267/stat : 26267 (java) R 26213 26213 25788 0 -1 4202560 183 0 0 0 417 0 0 0 20 0 28 0 420229789 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802215959720 139804027400040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26268] ppid=26213 vsize=28768328 memory=928 CPUtime=3.92 cores=0-7 /proc/26215/task/26268/stat : 26268 (java) R 26213 26213 25788 0 -1 4202560 144 0 0 0 392 0 0 0 20 0 28 0 420229789 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802208592472 139804027399664 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26269] ppid=26213 vsize=28768328 memory=1744 CPUtime=3.78 cores=0-7 /proc/26215/task/26269/stat : 26269 (java) R 26213 26213 25788 0 -1 4202560 1079 0 0 0 378 0 0 0 20 0 28 0 420229789 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802211748400 139804029224246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26270] ppid=26213 vsize=28768328 memory=792 CPUtime=3.89 cores=0-7 /proc/26215/task/26270/stat : 26270 (java) R 26213 26213 25788 0 -1 4202560 151 0 0 0 389 0 0 0 20 0 28 0 420229789 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802214907944 139804027399787 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26271] ppid=26213 vsize=28768328 memory=1440 CPUtime=4.03 cores=0-7 /proc/26215/task/26271/stat : 26271 (java) R 26213 26213 25788 0 -1 4202560 187 0 0 0 403 0 0 0 20 0 28 0 420229789 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802213858136 139804029776917 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26272] ppid=26213 vsize=28768328 memory=1984 CPUtime=3.72 cores=0-7 /proc/26215/task/26272/stat : 26272 (java) R 26213 26213 25788 0 -1 4202560 557 0 0 0 372 0 0 0 20 0 28 0 420229789 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802210697128 139804026830346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26273] ppid=26213 vsize=28768328 memory=2376 CPUtime=4.05 cores=0-7 /proc/26215/task/26273/stat : 26273 (java) R 26213 26213 25788 0 -1 4202560 94 0 0 0 405 0 0 0 20 0 28 0 420229789 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802212801800 139804027399551 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26274] ppid=26213 vsize=28768328 memory=1768 CPUtime=3.91 cores=0-7 /proc/26215/task/26274/stat : 26274 (java) R 26213 26213 25788 0 -1 4202560 285 0 0 0 391 0 0 0 20 0 28 0 420229790 29458767872 84306 33554432000 4194304 4196468 140736667717696 139802209646480 139804027399589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 Current children cumulated CPU time: 55.93 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 338680 KiB [startup+7.70164 s] /proc/loadavg: 7.47 8.14 8.31 11/224 26274 /proc/meminfo: memFree=31160048/32770624 swapFree=67004144/67108860 [pid=26213] ppid=26210 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/26213/stat : 26213 (xcsp3-exec) S 26210 26213 25788 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420229543 115843072 364 33554432000 4194304 5098028 140725721565104 140725721563208 140430881317500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30887936 140725721568118 140725721568361 140725721568361 140725721571274 0 /proc/26213/statm: 28282 364 305 221 0 87 0 [pid=26215] ppid=26213 vsize=28768328 memory=337252 CPUtime=56.73 cores=0-7 /proc/26215/stat : 26215 (java) S 26213 26213 25788 0 -1 1077944320 69908 0 0 0 5637 36 0 0 20 0 28 0 420229543 29458767872 84313 33554432000 4194304 4196468 140736667717696 140736667700240 139804414738167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 /proc/26215/statm: 7192082 84313 3534 1 0 7153184 0 [pid=26215/tid=26216] ppid=26213 vsize=28768328 memory=3280 CPUtime=0.65 cores=0-7 /proc/26215/task/26216/stat : 26216 (java) S 26213 26213 25788 0 -1 1077944384 9466 0 0 0 61 4 0 0 20 0 28 0 420229543 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804418978944 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26217] ppid=26213 vsize=28768328 memory=40908 CPUtime=0.04 cores=0-7 /proc/26215/task/26217/stat : 26217 (java) S 26213 26213 25788 0 -1 1077944384 786 0 0 0 2 2 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804367358224 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26218] ppid=26213 vsize=28768328 memory=988 CPUtime=0.03 cores=0-7 /proc/26215/task/26218/stat : 26218 (java) S 26213 26213 25788 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804366305680 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26219] ppid=26213 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/26215/task/26219/stat : 26219 (java) S 26213 26213 25788 0 -1 1077944384 210 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804365253136 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26220] ppid=26213 vsize=28768328 memory=281192045743504 CPUtime=0.03 cores=0-7 /proc/26215/task/26220/stat : 26220 (java) S 26213 26213 25788 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804364200592 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26221] ppid=26213 vsize=28768328 memory=281192045743376 CPUtime=0.03 cores=0-7 /proc/26215/task/26221/stat : 26221 (java) S 26213 26213 25788 0 -1 1077944384 368 0 0 0 3 0 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804363148048 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26222] ppid=26213 vsize=28768328 memory=281192046184448 CPUtime=0.03 cores=0-7 /proc/26215/task/26222/stat : 26222 (java) S 26213 26213 25788 0 -1 1077944384 152 0 0 0 2 1 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804362095504 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26223] ppid=26213 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/26215/task/26223/stat : 26223 (java) S 26213 26213 25788 0 -1 1077944384 222 0 0 0 4 1 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804361042960 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26224] ppid=26213 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/26215/task/26224/stat : 26224 (java) S 26213 26213 25788 0 -1 1077944384 84 0 0 0 1 1 0 0 20 0 28 0 420229544 29458767872 84313 33554432000 4194304 4196468 140736667717696 139804359990416 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26225] ppid=26213 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/26215/task/26225/stat : 26225 (java) S 26213 26213 25788 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 28 0 420229546 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802542319600 139804414749314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26226] ppid=26213 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26226/stat : 26226 (java) S 26213 26213 25788 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 420229546 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802541265888 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26227] ppid=26213 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26227/stat : 26227 (java) S 26213 26213 25788 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 420229546 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802540213248 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26228] ppid=26213 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/26215/task/26228/stat : 26228 (java) S 26213 26213 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802539161808 139804414756763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26229] ppid=26213 vsize=28768328 memory=74 CPUtime=3.97 cores=0-7 /proc/26215/task/26229/stat : 26229 (java) S 26213 26213 25788 0 -1 1077944384 14842 0 0 0 394 3 0 0 20 0 28 0 420229549 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802538109424 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26230] ppid=26213 vsize=28768328 memory=70 CPUtime=4.45 cores=0-7 /proc/26215/task/26230/stat : 26230 (java) S 26213 26213 25788 0 -1 1077944384 15785 0 0 0 441 4 0 0 20 0 28 0 420229549 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802537056880 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26231] ppid=26213 vsize=28768328 memory=79 CPUtime=3.78 cores=0-7 /proc/26215/task/26231/stat : 26231 (java) S 26213 26213 25788 0 -1 1077944384 16375 0 0 0 375 3 0 0 20 0 28 0 420229549 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802536004336 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26232] ppid=26213 vsize=28768328 memory=91 CPUtime=0.91 cores=0-7 /proc/26215/task/26232/stat : 26232 (java) S 26213 26213 25788 0 -1 1077944384 5439 0 0 0 89 2 0 0 20 0 28 0 420229549 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802534951792 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26233] ppid=26213 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/26215/task/26233/stat : 26233 (java) S 26213 26213 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802533898464 139804414748373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26234] ppid=26213 vsize=28768328 memory=7681421203011431829 CPUtime=0 cores=0-7 /proc/26215/task/26234/stat : 26234 (java) S 26213 26213 25788 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 420229549 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802532846000 139804414749314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26267] ppid=26213 vsize=28768328 memory=-2025810976467231676 CPUtime=4.26 cores=0-7 /proc/26215/task/26267/stat : 26267 (java) R 26213 26213 25788 0 -1 4202560 183 0 0 0 426 0 0 0 20 0 28 0 420229789 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802215959720 139804027402383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26268] ppid=26213 vsize=28768328 memory=6944656592387989600 CPUtime=4.02 cores=0-7 /proc/26215/task/26268/stat : 26268 (java) R 26213 26213 25788 0 -1 4202560 144 0 0 0 402 0 0 0 20 0 28 0 420229789 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802208592472 139804030448367 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26269] ppid=26213 vsize=28768328 memory=6944652177228980320 CPUtime=3.88 cores=0-7 /proc/26215/task/26269/stat : 26269 (java) R 26213 26213 25788 0 -1 4202560 1088 0 0 0 388 0 0 0 20 0 28 0 420229789 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802211749928 139804026159445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26270] ppid=26213 vsize=28768328 memory=262568 CPUtime=3.99 cores=0-7 /proc/26215/task/26270/stat : 26270 (java) R 26213 26213 25788 0 -1 4202560 155 0 0 0 399 0 0 0 20 0 28 0 420229789 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802214907944 139804028045877 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26271] ppid=26213 vsize=28768328 memory=13807 CPUtime=4.13 cores=0-7 /proc/26215/task/26271/stat : 26271 (java) R 26213 26213 25788 0 -1 4202560 187 0 0 0 413 0 0 0 20 0 28 0 420229789 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802213858136 139804026945631 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26272] ppid=26213 vsize=28768328 memory=20612 CPUtime=3.82 cores=0-7 /proc/26215/task/26272/stat : 26272 (java) R 26213 26213 25788 0 -1 4202560 560 0 0 0 382 0 0 0 20 0 28 0 420229789 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802210698696 139804026945825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26273] ppid=26213 vsize=28768328 memory=0 CPUtime=4.15 cores=0-7 /proc/26215/task/26273/stat : 26273 (java) R 26213 26213 25788 0 -1 4202560 96 0 0 0 415 0 0 0 20 0 28 0 420229789 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802212801800 139804021878854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 [pid=26215/tid=26274] ppid=26213 vsize=28768328 memory=0 CPUtime=4.01 cores=0-7 /proc/26215/task/26274/stat : 26274 (java) R 26213 26213 25788 0 -1 4202560 286 0 0 0 401 0 0 0 20 0 28 0 420229790 29458767872 84313 33554432000 4194304 4196468 140736667717696 139802209646480 139804027399698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37892096 140736667722730 140736667722902 140736667722902 140736667725775 0 Current children cumulated CPU time: 56.73 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 338708 KiB Child status: 0 Real time (s): 7.77846 CPU time (s): 57.1982 CPU user time (s): 56.8179 CPU system time (s): 0.380327 CPU usage (%): 735.341 Max. virtual memory (cumulated for all children) (KiB): 28883556 Max. memory (cumulated for all children) (KiB): 338708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 56.8179 system time used= 0.380327 maximum resident set size= 337252 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71191 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4993 involuntary context switches= 2273 # summary of solver processes directly reported to runsolver: # pid: 26213 # total CPU time (s): 57.1982 # total CPU user time (s): 56.8179 # total CPU system time (s): 0.380327 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.08691 second user time and 0.132538 second system time The end
Begin job on node133 at 2019-09-14 07:44:20 IDJOB=4394584 IDBENCH=136538 IDSOLVER=2843 FILE ID=node133/4394584-1568439899 RUNJOBID= node133-1568439804-25815 PBS_JOBID= 21702337 Free space on /tmp= 59416 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4394584-1568439899/watcher-4394584-1568439899 -o /tmp/evaluation-result-4394584-1568439899/solver-4394584-1568439899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 444462876 HOME/instance-4394584-1568439899.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bade4ae5f74057612f70883ad9768226 RANDOM SEED=444462876 node133.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.18 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.18 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.18 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.18 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: 31457676 kB MemAvailable: 31898108 kB Buffers: 202196 kB Cached: 521972 kB SwapCached: 3360 kB Active: 406940 kB Inactive: 320812 kB Active(anon): 27988 kB Inactive(anon): 16056 kB Active(file): 378952 kB Inactive(file): 304756 kB Unevictable: 111224 kB Mlocked: 111224 kB SwapTotal: 67108860 kB SwapFree: 67004144 kB Dirty: 25852 kB Writeback: 48 kB AnonPages: 134448 kB Mapped: 44928 kB Shmem: 31520 kB Slab: 174020 kB SReclaimable: 145120 kB SUnreclaim: 28900 kB KernelStack: 3760 kB PageTables: 5324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59392 MiB End job on node133 at 2019-09-14 07:44:28