Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | UNSAT | 159.54401 | 21.7278 |
Name | Rlfap/ Rlfap-m1-scens11/Rlfap-scen-11-f05.xml |
MD5SUM | f8050e8ddc741b4fb4a45c7e8cfb7628 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 12.0422 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 39 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271217-1502684937.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271217-1502684937.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.19 c 8 solvers in parallel 0.32/0.26 c parse instance... 9.51/2.41 c solve instance... 159.49/21.71 s UNSATISFIABLE
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 (13452 MiB free) memory of node 1: 16384 MiB (14602 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271217-1502684937/watcher-4271217-1502684937 -o /tmp/evaluation-result-4271217-1502684937/solver-4271217-1502684937 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502683897-23141 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 987894467 HOME/instance-4271217-1502684937.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23252, runsolver pid=23249 Current StackSize limit: 8192 KiB [startup+0.10017 s]* /proc/loadavg: 7.64 8.35 8.54 2/200 23273 /proc/meminfo: memFree=28713772/32770624 swapFree=67108860/67108860 [pid=23252] ppid=23249 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23252/stat : 23252 (xcsp3-exec) S 23249 23252 23114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101574588 9740288 346 33554432000 4194304 5098028 140726472721936 140726472720040 139629928874620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9265152 140726472725605 140726472725815 140726472725815 140726472728555 0 /proc/23252/statm: 2378 346 289 221 0 87 0 [pid=23254] ppid=23252 vsize=25999808 memory=26084 CPUtime=0.11 cores=0-7 /proc/23254/stat : 23254 (java) S 23252 23252 23114 0 -1 1077944320 5486 0 0 0 10 1 0 0 20 0 20 0 101574588 26623803392 6521 33554432000 4194304 4196468 140732104026656 140732104009200 139909085196023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 /proc/23254/statm: 6499952 6521 2840 1 0 6488269 0 [pid=23254/tid=23255] ppid=23252 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23254/task/23255/stat : 23255 (java) R 23252 23252 23114 0 -1 4202560 3484 0 0 0 8 1 0 0 20 0 20 0 101574588 26623803392 6521 33554432000 4194304 4196468 140732104026656 139909089429040 139909085207958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23256] ppid=23252 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23254/task/23256/stat : 23256 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6521 33554432000 4194304 4196468 140732104026656 139909037816208 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23257] ppid=23252 vsize=25999808 memory=139638090208896 CPUtime=0 cores=0-7 /proc/23254/task/23257/stat : 23257 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6521 33554432000 4194304 4196468 140732104026656 139909036763408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23258] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23258/stat : 23258 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6521 33554432000 4194304 4196468 140732104026656 139909035711120 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23259] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23259/stat : 23259 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6521 33554432000 4194304 4196468 140732104026656 139909034658320 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23260] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23260/stat : 23260 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6521 33554432000 4194304 4196468 140732104026656 139909033606032 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23261] ppid=23252 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23254/task/23261/stat : 23261 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6586 33554432000 4194304 4196468 140732104026656 139909032553232 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23262] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23262/stat : 23262 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6586 33554432000 4194304 4196468 140732104026656 139909031500944 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23263] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23263/stat : 23263 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101574589 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908635556880 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23264] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23264/stat : 23264 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574590 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908144375920 139909085207170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23265] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23265/stat : 23265 (java) S 23252 23252 23114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101574591 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908143321888 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23266] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23266/stat : 23266 (java) S 23252 23252 23114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101574591 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908142269552 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23267] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23267/stat : 23267 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574593 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908141217872 139909085214619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23268] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23268/stat : 23268 (java) R 23252 23252 23114 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 101574593 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908140165744 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23269] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23269/stat : 23269 (java) R 23252 23252 23114 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 101574593 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908139112944 139909085207170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23270] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23270/stat : 23270 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101574594 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908138060656 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23271] ppid=23252 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/23254/task/23271/stat : 23271 (java) R 23252 23252 23114 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 101574594 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908137007856 139909066433584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23272] ppid=23252 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23272/stat : 23272 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101574594 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908135954784 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23273] ppid=23252 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23254/task/23273/stat : 23273 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574594 26623803392 6586 33554432000 4194304 4196468 140732104026656 139908134902064 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27468 KiB [startup+0.210572 s]* /proc/loadavg: 7.64 8.35 8.54 2/200 23273 /proc/meminfo: memFree=28702856/32770624 swapFree=67108860/67108860 [pid=23252] ppid=23249 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23252/stat : 23252 (xcsp3-exec) S 23249 23252 23114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101574588 9740288 346 33554432000 4194304 5098028 140726472721936 140726472720040 139629928874620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9265152 140726472725605 140726472725815 140726472725815 140726472728555 0 /proc/23252/statm: 2378 346 289 221 0 87 0 [pid=23254] ppid=23252 vsize=26004064 memory=39088 CPUtime=0.32 cores=0-7 /proc/23254/stat : 23254 (java) S 23252 23252 23114 0 -1 1077944320 8353 0 0 0 30 2 0 0 20 0 20 0 101574588 26628161536 9772 33554432000 4194304 4196468 140732104026656 140732104009200 139909085196023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 /proc/23254/statm: 6501016 9772 3060 1 0 6488269 0 [pid=23254/tid=23255] ppid=23252 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23254/task/23255/stat : 23255 (java) R 23252 23252 23114 0 -1 4202560 5413 0 0 0 18 2 0 0 20 0 20 0 101574588 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909089418320 139909069276540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23256] ppid=23252 vsize=26004064 memory=340 CPUtime=0 cores=0-7 /proc/23254/task/23256/stat : 23256 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909037816208 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23257] ppid=23252 vsize=26004064 memory=139638090664064 CPUtime=0 cores=0-7 /proc/23254/task/23257/stat : 23257 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909036763408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23258] ppid=23252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23254/task/23258/stat : 23258 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909035711120 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23259] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23259/stat : 23259 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909034658320 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23260] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23260/stat : 23260 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909033606032 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23261] ppid=23252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23254/task/23261/stat : 23261 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909032553232 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23262] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23262/stat : 23262 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139909031500944 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23263] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23263/stat : 23263 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908635556880 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23264] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23264/stat : 23264 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574590 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908144375920 139909085207170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23265] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23265/stat : 23265 (java) S 23252 23252 23114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101574591 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908143321888 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23266] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23266/stat : 23266 (java) S 23252 23252 23114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101574591 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908142269552 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23267] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23267/stat : 23267 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574593 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908141217872 139909085214619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23268] ppid=23252 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/23254/task/23268/stat : 23268 (java) S 23252 23252 23114 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 101574593 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908140165744 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23269] ppid=23252 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/23254/task/23269/stat : 23269 (java) S 23252 23252 23114 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 20 0 101574593 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908139112944 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23270] ppid=23252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23254/task/23270/stat : 23270 (java) S 23252 23252 23114 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 20 0 101574594 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908138060656 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23271] ppid=23252 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/23254/task/23271/stat : 23271 (java) S 23252 23252 23114 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 20 0 101574594 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908137007856 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23272] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23272/stat : 23272 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101574594 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908135954784 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23273] ppid=23252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23254/task/23273/stat : 23273 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574594 26628161536 9772 33554432000 4194304 4196468 140732104026656 139908134902064 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40472 KiB [startup+0.310337 s]* /proc/loadavg: 7.64 8.35 8.54 4/200 23273 /proc/meminfo: memFree=28698080/32770624 swapFree=67108860/67108860 [pid=23252] ppid=23249 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23252/stat : 23252 (xcsp3-exec) S 23249 23252 23114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101574588 9740288 346 33554432000 4194304 5098028 140726472721936 140726472720040 139629928874620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9265152 140726472725605 140726472725815 140726472725815 140726472728555 0 /proc/23252/statm: 2378 346 289 221 0 87 0 [pid=23254] ppid=23252 vsize=26004064 memory=43976 CPUtime=0.51 cores=0-7 /proc/23254/stat : 23254 (java) S 23252 23252 23114 0 -1 1077944320 9212 0 0 0 48 3 0 0 20 0 20 0 101574588 26628161536 10994 33554432000 4194304 4196468 140732104026656 140732104009200 139909085196023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 /proc/23254/statm: 6501016 10994 3090 1 0 6488269 0 [pid=23254/tid=23255] ppid=23252 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/23254/task/23255/stat : 23255 (java) R 23252 23252 23114 0 -1 4202560 6073 0 0 0 27 2 0 0 20 0 20 0 101574588 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909089434704 139908710694259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23256] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23256/stat : 23256 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909037816208 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23257] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23257/stat : 23257 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909036763408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23258] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23258/stat : 23258 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909035711120 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23259] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23259/stat : 23259 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909034658320 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23260] ppid=23252 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/23254/task/23260/stat : 23260 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909033606032 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23261] ppid=23252 vsize=26004064 memory=139637976822703 CPUtime=0 cores=0-7 /proc/23254/task/23261/stat : 23261 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909032553232 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23262] ppid=23252 vsize=26004064 memory=139637976825008 CPUtime=0 cores=0-7 /proc/23254/task/23262/stat : 23262 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139909031500944 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23263] ppid=23252 vsize=26004064 memory=139637976827312 CPUtime=0 cores=0-7 /proc/23254/task/23263/stat : 23263 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101574589 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908635556880 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23264] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23264/stat : 23264 (java) S 23252 23252 23114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101574590 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908144375920 139909085207170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23265] ppid=23252 vsize=26004064 memory=279275953661584 CPUtime=0 cores=0-7 /proc/23254/task/23265/stat : 23265 (java) S 23252 23252 23114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101574591 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908143321888 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23266] ppid=23252 vsize=26004064 memory=279275953668496 CPUtime=0 cores=0-7 /proc/23254/task/23266/stat : 23266 (java) S 23252 23252 23114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101574591 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908142269552 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23267] ppid=23252 vsize=26004064 memory=279275953609776 CPUtime=0 cores=0-7 /proc/23254/task/23267/stat : 23267 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574593 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908141217872 139909085214619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23268] ppid=23252 vsize=26004064 memory=279275953682320 CPUtime=0.02 cores=0-7 /proc/23254/task/23268/stat : 23268 (java) R 23252 23252 23114 0 -1 4202560 566 0 0 0 2 0 0 0 20 0 20 0 101574593 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908140165744 139909064434507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23269] ppid=23252 vsize=26004064 memory=279275953689232 CPUtime=0.02 cores=0-7 /proc/23254/task/23269/stat : 23269 (java) S 23252 23252 23114 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 101574593 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908139112944 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23270] ppid=23252 vsize=26004064 memory=279275953686928 CPUtime=0.01 cores=0-7 /proc/23254/task/23270/stat : 23270 (java) S 23252 23252 23114 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 101574594 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908138060656 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23271] ppid=23252 vsize=26004064 memory=279275953703088 CPUtime=0.13 cores=0-7 /proc/23254/task/23271/stat : 23271 (java) R 23252 23252 23114 0 -1 4202560 885 0 0 0 13 0 0 0 20 0 20 0 101574594 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908137003616 139909064030463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23272] ppid=23252 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23272/stat : 23272 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101574594 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908135954784 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23273] ppid=23252 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23254/task/23273/stat : 23273 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101574594 26628161536 10994 33554432000 4194304 4196468 140732104026656 139908134902064 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45360 KiB [startup+0.701007 s] /proc/loadavg: 7.64 8.35 8.54 5/200 23273 /proc/meminfo: memFree=28582476/32770624 swapFree=67108860/67108860 [pid=23252] ppid=23249 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23252/stat : 23252 (xcsp3-exec) S 23249 23252 23114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101574588 9740288 346 33554432000 4194304 5098028 140726472721936 140726472720040 139629928874620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9265152 140726472725605 140726472725815 140726472725815 140726472728555 0 /proc/23252/statm: 2378 346 289 221 0 87 0 [pid=23254] ppid=23252 vsize=26006188 memory=197756 CPUtime=2.04 cores=0-7 /proc/23254/stat : 23254 (java) S 23252 23252 23114 0 -1 1077944320 15954 0 0 0 197 7 0 0 20 0 20 0 101574588 26630336512 49439 33554432000 4194304 4196468 140732104026656 140732104009200 139909085196023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 /proc/23254/statm: 6501547 49439 3210 1 0 6488781 0 [pid=23254/tid=23255] ppid=23252 vsize=26006188 memory=279275954060976 CPUtime=0.66 cores=0-7 /proc/23254/task/23255/stat : 23255 (java) R 23252 23252 23114 0 -1 4202560 6673 0 0 0 62 4 0 0 20 0 20 0 101574588 26630336512 49439 33554432000 4194304 4196468 140732104026656 139909089429936 139909069276510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23256] ppid=23252 vsize=26006188 memory=139637977031536 CPUtime=0 cores=0-7 /proc/23254/task/23256/stat : 23256 (java) S 23252 23252 23114 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 101574589 26630336512 49439 33554432000 4194304 4196468 140732104026656 139909037816208 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23257] ppid=23252 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/23254/task/23257/stat : 23257 (java) S 23252 23252 23114 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 101574589 26630336512 49439 33554432000 4194304 4196468 140732104026656 139909036763408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23258] ppid=23252 vsize=26006188 memory=1200 CPUtime=0 cores=0-7 /proc/23254/task/23258/stat : 23258 (java) S 23252 23252 23114 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 101574589 26630336512 49439 33554432000 4194304 4196468 140732104026656 139909035711120 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 ################ # More data... # ################ [pid=23254/tid=23271] ppid=23252 vsize=26540748 memory=4132771212810548115 CPUtime=1.02 cores=0-7 /proc/23254/task/23271/stat : 23271 (java) S 23252 23252 23114 0 -1 1077944384 6846 0 0 0 100 2 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908137007856 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23272] ppid=23252 vsize=26540748 memory=4132772329015834154 CPUtime=0 cores=0-7 /proc/23254/task/23272/stat : 23272 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908135954784 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23273] ppid=23252 vsize=26540748 memory=-6164720571200083347 CPUtime=0.01 cores=0-7 /proc/23254/task/23273/stat : 23273 (java) R 23252 23252 23114 0 -1 1077944384 956 0 0 0 0 1 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908134902064 139909085207170 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23274] ppid=23252 vsize=26540748 memory=-4075877051373423743 CPUtime=17.89 cores=0-7 /proc/23254/task/23274/stat : 23274 (java) R 23252 23252 23114 0 -1 4202560 388 0 0 0 1788 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908127386856 139908722320410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23275] ppid=23252 vsize=26540748 memory=7900382160082452574 CPUtime=17.64 cores=0-7 /proc/23254/task/23275/stat : 23275 (java) R 23252 23252 23114 0 -1 4202560 468 0 0 0 1763 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908124238376 139908722075989 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23276] ppid=23252 vsize=26540748 memory=279275953455344 CPUtime=17.62 cores=0-7 /proc/23254/task/23276/stat : 23276 (java) R 23252 23252 23114 0 -1 4202560 2970 0 0 0 1754 8 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908123184672 139908723580952 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23277] ppid=23252 vsize=26540748 memory=0 CPUtime=17.66 cores=0-7 /proc/23254/task/23277/stat : 23277 (java) R 23252 23252 23114 0 -1 4202560 697 0 0 0 1765 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908122132856 139908722320635 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23278] ppid=23252 vsize=26540748 memory=0 CPUtime=17.62 cores=0-7 /proc/23254/task/23278/stat : 23278 (java) R 23252 23252 23114 0 -1 4202560 1074 0 0 0 1760 2 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908121080568 139908722320797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23279] ppid=23252 vsize=26540748 memory=0 CPUtime=17.49 cores=0-7 /proc/23254/task/23279/stat : 23279 (java) R 23252 23252 23114 0 -1 4202560 869 0 0 0 1745 4 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908120027384 139908714798623 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23280] ppid=23252 vsize=26540748 memory=0 CPUtime=18.14 cores=0-7 /proc/23254/task/23280/stat : 23280 (java) R 23252 23252 23114 0 -1 4202560 285 0 0 0 1814 0 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908118974424 139908722348323 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23281] ppid=23252 vsize=26540748 memory=0 CPUtime=18.15 cores=0-7 /proc/23254/task/23281/stat : 23281 (java) R 23252 23252 23114 0 -1 4202560 564 0 0 0 1815 0 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908117921672 139908720813598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 Current children cumulated CPU time: 158.76 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 1346176 KiB [startup+21.6011 s] /proc/loadavg: 7.38 8.23 8.50 9/208 23281 /proc/meminfo: memFree=27392268/32770624 swapFree=67108860/67108860 [pid=23252] ppid=23249 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23252/stat : 23252 (xcsp3-exec) S 23249 23252 23114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101574588 9740288 346 33554432000 4194304 5098028 140726472721936 140726472720040 139629928874620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9265152 140726472725605 140726472725815 140726472725815 140726472728555 0 /proc/23252/statm: 2378 346 289 221 0 87 0 [pid=23254] ppid=23252 vsize=26540748 memory=1344792 CPUtime=159.39 cores=0-7 /proc/23254/stat : 23254 (java) S 23252 23252 23114 0 -1 1077944320 62218 0 0 0 15806 133 0 0 20 0 28 0 101574588 27177725952 336198 33554432000 4194304 4196468 140732104026656 140732104009200 139909085196023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 /proc/23254/statm: 6635187 336198 3287 1 0 6622421 0 [pid=23254/tid=23255] ppid=23252 vsize=26540748 memory=1384 CPUtime=2.16 cores=0-7 /proc/23254/task/23255/stat : 23255 (java) S 23252 23252 23114 0 -1 1077944384 7414 0 0 0 206 10 0 0 20 0 28 0 101574588 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909089436800 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23256] ppid=23252 vsize=26540748 memory=1344792 CPUtime=0.27 cores=0-7 /proc/23254/task/23256/stat : 23256 (java) S 23252 23252 23114 0 -1 1077944384 307 0 0 0 16 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909037816208 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23257] ppid=23252 vsize=26540748 memory=0 CPUtime=0.27 cores=0-7 /proc/23254/task/23257/stat : 23257 (java) S 23252 23252 23114 0 -1 1077944384 280 0 0 0 16 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909036763408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23258] ppid=23252 vsize=26540748 memory=0 CPUtime=0.31 cores=0-7 /proc/23254/task/23258/stat : 23258 (java) S 23252 23252 23114 0 -1 1077944384 503 0 0 0 19 12 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909035711120 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23259] ppid=23252 vsize=26540748 memory=0 CPUtime=0.28 cores=0-7 /proc/23254/task/23259/stat : 23259 (java) S 23252 23252 23114 0 -1 1077944384 434 0 0 0 17 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909034658320 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23260] ppid=23252 vsize=26540748 memory=2241 CPUtime=0.26 cores=0-7 /proc/23254/task/23260/stat : 23260 (java) S 23252 23252 23114 0 -1 1077944384 676 0 0 0 15 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909033606032 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23261] ppid=23252 vsize=26540748 memory=2244 CPUtime=0.28 cores=0-7 /proc/23254/task/23261/stat : 23261 (java) S 23252 23252 23114 0 -1 1077944384 322 0 0 0 18 10 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909032553232 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23262] ppid=23252 vsize=26540748 memory=0 CPUtime=0.25 cores=0-7 /proc/23254/task/23262/stat : 23262 (java) S 23252 23252 23114 0 -1 1077944384 239 0 0 0 16 9 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909031500944 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23263] ppid=23252 vsize=26540748 memory=2241 CPUtime=0.27 cores=0-7 /proc/23254/task/23263/stat : 23263 (java) S 23252 23252 23114 0 -1 1077944384 265 0 0 0 16 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908635556880 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23264] ppid=23252 vsize=26540748 memory=2244 CPUtime=0.03 cores=0-7 /proc/23254/task/23264/stat : 23264 (java) S 23252 23252 23114 0 -1 1077944384 1265 0 0 0 2 1 0 0 20 0 28 0 101574590 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908144375920 139909085207170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23265] ppid=23252 vsize=26540748 memory=7976406965547723156 CPUtime=0 cores=0-7 /proc/23254/task/23265/stat : 23265 (java) S 23252 23252 23114 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 101574591 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908143321952 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23266] ppid=23252 vsize=26540748 memory=-2892745056948428439 CPUtime=0 cores=0-7 /proc/23254/task/23266/stat : 23266 (java) S 23252 23252 23114 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 101574591 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908142269568 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23267] ppid=23252 vsize=26540748 memory=-8197265406294867615 CPUtime=0 cores=0-7 /proc/23254/task/23267/stat : 23267 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101574593 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908141217872 139909085214619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23268] ppid=23252 vsize=26540748 memory=6153433744107058238 CPUtime=3.58 cores=0-7 /proc/23254/task/23268/stat : 23268 (java) S 23252 23252 23114 0 -1 1077944384 12781 0 0 0 356 2 0 0 20 0 28 0 101574593 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908140165744 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23269] ppid=23252 vsize=26540748 memory=7518026630507423589 CPUtime=3.87 cores=0-7 /proc/23254/task/23269/stat : 23269 (java) S 23252 23252 23114 0 -1 1077944384 10714 0 0 0 384 3 0 0 20 0 28 0 101574593 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908139112944 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23270] ppid=23252 vsize=26540748 memory=7161960703432353642 CPUtime=3.49 cores=0-7 /proc/23254/task/23270/stat : 23270 (java) S 23252 23252 23114 0 -1 1077944384 10496 0 0 0 346 3 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908138060656 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23271] ppid=23252 vsize=26540748 memory=0 CPUtime=1.02 cores=0-7 /proc/23254/task/23271/stat : 23271 (java) S 23252 23252 23114 0 -1 1077944384 6846 0 0 0 100 2 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908137007856 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23272] ppid=23252 vsize=26540748 memory=2241 CPUtime=0 cores=0-7 /proc/23254/task/23272/stat : 23272 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908135954784 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23273] ppid=23252 vsize=26540748 memory=2244 CPUtime=0.01 cores=0-7 /proc/23254/task/23273/stat : 23273 (java) S 23252 23252 23114 0 -1 1077944384 956 0 0 0 0 1 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908134902064 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23274] ppid=23252 vsize=26540748 memory=0 CPUtime=17.92 cores=0-7 /proc/23254/task/23274/stat : 23274 (java) S 23252 23252 23114 0 -1 1077944384 393 0 0 0 1791 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908127391536 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23275] ppid=23252 vsize=26540748 memory=279275955567216 CPUtime=17.67 cores=0-7 /proc/23254/task/23275/stat : 23275 (java) S 23252 23252 23114 0 -1 1077944384 477 0 0 0 1766 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908124242896 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23276] ppid=23252 vsize=26540748 memory=2109988584861076 CPUtime=18.01 cores=0-7 /proc/23254/task/23276/stat : 23276 (java) R 23252 23252 23114 0 -1 4202560 2994 0 0 0 1793 8 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908123184672 139908723580952 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23277] ppid=23252 vsize=26540748 memory=0 CPUtime=17.7 cores=0-7 /proc/23254/task/23277/stat : 23277 (java) S 23252 23252 23114 0 -1 1077944384 713 0 0 0 1769 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908122137808 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23278] ppid=23252 vsize=26540748 memory=0 CPUtime=17.66 cores=0-7 /proc/23254/task/23278/stat : 23278 (java) S 23252 23252 23114 0 -1 1077944384 1077 0 0 0 1764 2 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908121085520 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23279] ppid=23252 vsize=26540748 memory=0 CPUtime=17.53 cores=0-7 /proc/23254/task/23279/stat : 23279 (java) S 23252 23252 23114 0 -1 1077944384 875 0 0 0 1749 4 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908120032720 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23280] ppid=23252 vsize=26540748 memory=6655300316396806240 CPUtime=18.18 cores=0-7 /proc/23254/task/23280/stat : 23280 (java) S 23252 23252 23114 0 -1 1077944384 288 0 0 0 1818 0 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908118979408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23281] ppid=23252 vsize=26540748 memory=1728 CPUtime=18.18 cores=0-7 /proc/23254/task/23281/stat : 23281 (java) S 23252 23252 23114 0 -1 1077944384 564 0 0 0 1818 0 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908117926608 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 Current children cumulated CPU time: 159.39 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 1346176 KiB [startup+21.7011 s] /proc/loadavg: 7.38 8.23 8.50 9/208 23281 /proc/meminfo: memFree=27392268/32770624 swapFree=67108860/67108860 [pid=23252] ppid=23249 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/23252/stat : 23252 (xcsp3-exec) S 23249 23252 23114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101574588 9740288 346 33554432000 4194304 5098028 140726472721936 140726472720040 139629928874620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9265152 140726472725605 140726472725815 140726472725815 140726472728555 0 /proc/23252/statm: 2378 346 289 221 0 87 0 [pid=23254] ppid=23252 vsize=26540748 memory=1344792 CPUtime=159.49 cores=0-7 /proc/23254/stat : 23254 (java) S 23252 23252 23114 0 -1 1077944320 62224 0 0 0 15816 133 0 0 20 0 28 0 101574588 27177725952 336198 33554432000 4194304 4196468 140732104026656 140732104009200 139909085196023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 /proc/23254/statm: 6635187 336198 3287 1 0 6622421 0 [pid=23254/tid=23255] ppid=23252 vsize=26540748 memory=1344792 CPUtime=2.16 cores=0-7 /proc/23254/task/23255/stat : 23255 (java) S 23252 23252 23114 0 -1 1077944384 7414 0 0 0 206 10 0 0 20 0 28 0 101574588 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909089436800 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23256] ppid=23252 vsize=26540748 memory=1336600 CPUtime=0.27 cores=0-7 /proc/23254/task/23256/stat : 23256 (java) S 23252 23252 23114 0 -1 1077944384 307 0 0 0 16 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909037816208 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23257] ppid=23252 vsize=26540748 memory=279275954629520 CPUtime=0.27 cores=0-7 /proc/23254/task/23257/stat : 23257 (java) S 23252 23252 23114 0 -1 1077944384 280 0 0 0 16 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909036763408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23258] ppid=23252 vsize=26540748 memory=15541803839412388 CPUtime=0.31 cores=0-7 /proc/23254/task/23258/stat : 23258 (java) S 23252 23252 23114 0 -1 1077944384 503 0 0 0 19 12 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909035711120 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23259] ppid=23252 vsize=26540748 memory=0 CPUtime=0.28 cores=0-7 /proc/23254/task/23259/stat : 23259 (java) S 23252 23252 23114 0 -1 1077944384 434 0 0 0 17 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909034658320 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23260] ppid=23252 vsize=26540748 memory=0 CPUtime=0.26 cores=0-7 /proc/23254/task/23260/stat : 23260 (java) S 23252 23252 23114 0 -1 1077944384 676 0 0 0 15 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909033606032 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23261] ppid=23252 vsize=26540748 memory=1330400 CPUtime=0.28 cores=0-7 /proc/23254/task/23261/stat : 23261 (java) S 23252 23252 23114 0 -1 1077944384 322 0 0 0 18 10 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909032553232 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23262] ppid=23252 vsize=26540748 memory=0 CPUtime=0.25 cores=0-7 /proc/23254/task/23262/stat : 23262 (java) S 23252 23252 23114 0 -1 1077944384 239 0 0 0 16 9 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139909031500944 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23263] ppid=23252 vsize=26540748 memory=17789 CPUtime=0.27 cores=0-7 /proc/23254/task/23263/stat : 23263 (java) S 23252 23252 23114 0 -1 1077944384 265 0 0 0 16 11 0 0 20 0 28 0 101574589 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908635556880 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23264] ppid=23252 vsize=26540748 memory=21 CPUtime=0.03 cores=0-7 /proc/23254/task/23264/stat : 23264 (java) S 23252 23252 23114 0 -1 1077944384 1265 0 0 0 2 1 0 0 20 0 28 0 101574590 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908144375920 139909085207170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23265] ppid=23252 vsize=26540748 memory=19 CPUtime=0 cores=0-7 /proc/23254/task/23265/stat : 23265 (java) S 23252 23252 23114 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 101574591 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908143321952 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23266] ppid=23252 vsize=26540748 memory=20 CPUtime=0 cores=0-7 /proc/23254/task/23266/stat : 23266 (java) S 23252 23252 23114 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 101574591 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908142269568 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23267] ppid=23252 vsize=26540748 memory=56 CPUtime=0 cores=0-7 /proc/23254/task/23267/stat : 23267 (java) S 23252 23252 23114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101574593 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908141217872 139909085214619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23268] ppid=23252 vsize=26540748 memory=37540 CPUtime=3.58 cores=0-7 /proc/23254/task/23268/stat : 23268 (java) S 23252 23252 23114 0 -1 1077944384 12781 0 0 0 356 2 0 0 20 0 28 0 101574593 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908140165744 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23269] ppid=23252 vsize=26540748 memory=37684 CPUtime=3.87 cores=0-7 /proc/23254/task/23269/stat : 23269 (java) S 23252 23252 23114 0 -1 1077944384 10714 0 0 0 384 3 0 0 20 0 28 0 101574593 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908139112944 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23270] ppid=23252 vsize=26540748 memory=1384 CPUtime=3.49 cores=0-7 /proc/23254/task/23270/stat : 23270 (java) S 23252 23252 23114 0 -1 1077944384 10496 0 0 0 346 3 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908138060656 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23271] ppid=23252 vsize=26540748 memory=1152340 CPUtime=1.02 cores=0-7 /proc/23254/task/23271/stat : 23271 (java) S 23252 23252 23114 0 -1 1077944384 6846 0 0 0 100 2 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908137007856 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23272] ppid=23252 vsize=26540748 memory=21735 CPUtime=0 cores=0-7 /proc/23254/task/23272/stat : 23272 (java) S 23252 23252 23114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908135954784 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23273] ppid=23252 vsize=26540748 memory=1384 CPUtime=0.01 cores=0-7 /proc/23254/task/23273/stat : 23273 (java) S 23252 23252 23114 0 -1 1077944384 956 0 0 0 0 1 0 0 20 0 28 0 101574594 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908134902064 139909085207170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23274] ppid=23252 vsize=26540748 memory=6791534058613427641 CPUtime=17.92 cores=0-7 /proc/23254/task/23274/stat : 23274 (java) S 23252 23252 23114 0 -1 1077944384 393 0 0 0 1791 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908127391536 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23275] ppid=23252 vsize=26540748 memory=6944652177228980320 CPUtime=17.67 cores=0-7 /proc/23254/task/23275/stat : 23275 (java) S 23252 23252 23114 0 -1 1077944384 477 0 0 0 1766 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908124242896 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23276] ppid=23252 vsize=26540748 memory=0 CPUtime=18.11 cores=0-7 /proc/23254/task/23276/stat : 23276 (java) R 23252 23252 23114 0 -1 4202560 3000 0 0 0 1803 8 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908123184672 139908723580912 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23277] ppid=23252 vsize=26540748 memory=1344792 CPUtime=17.7 cores=0-7 /proc/23254/task/23277/stat : 23277 (java) S 23252 23252 23114 0 -1 1077944384 713 0 0 0 1769 1 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908122137808 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23278] ppid=23252 vsize=26540748 memory=4144 CPUtime=17.66 cores=0-7 /proc/23254/task/23278/stat : 23278 (java) S 23252 23252 23114 0 -1 1077944384 1077 0 0 0 1764 2 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908121085520 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23279] ppid=23252 vsize=26540748 memory=29340 CPUtime=17.53 cores=0-7 /proc/23254/task/23279/stat : 23279 (java) S 23252 23252 23114 0 -1 1077944384 875 0 0 0 1749 4 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908120032720 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23280] ppid=23252 vsize=26540748 memory=1292 CPUtime=18.18 cores=0-7 /proc/23254/task/23280/stat : 23280 (java) S 23252 23252 23114 0 -1 1077944384 288 0 0 0 1818 0 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908118979408 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 [pid=23254/tid=23281] ppid=23252 vsize=26540748 memory=2428 CPUtime=18.18 cores=0-7 /proc/23254/task/23281/stat : 23281 (java) S 23252 23252 23114 0 -1 1077944384 564 0 0 0 1818 0 0 0 20 0 28 0 101574833 27177725952 336198 33554432000 4194304 4196468 140732104026656 139908117926608 139909085206229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35549184 140732104033426 140732104033603 140732104033603 140732104036303 0 Current children cumulated CPU time: 159.49 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 1346176 KiB Child status: 0 Real time (s): 21.7278 CPU time (s): 159.544 CPU user time (s): 158.183 CPU system time (s): 1.36087 CPU usage (%): 734.285 Max. virtual memory (cumulated for all children) (KiB): 26552420 Max. memory (cumulated for all children) (KiB): 1346176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 158.183 system time used= 1.36087 maximum resident set size= 1349060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63224 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5406 involuntary context switches= 2474 # summary of solver processes directly reported to runsolver: # pid: 23252 # total CPU time (s): 159.544 # total CPU user time (s): 158.183 # total CPU system time (s): 1.36087 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.190817 second user time and 0.312343 second system time The end
Begin job on node151 at 2017-08-14 06:14:38 IDJOB=4271217 IDBENCH=120793 IDSOLVER=2662 FILE ID=node151/4271217-1502684937 RUNJOBID= node151-1502683897-23141 PBS_JOBID= 20628991 Free space on /tmp= 61756 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens11/Rlfap-scen-11-f05.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271217-1502684937/watcher-4271217-1502684937 -o /tmp/evaluation-result-4271217-1502684937/solver-4271217-1502684937 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502683897-23141 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 987894467 HOME/instance-4271217-1502684937.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628 RANDOM SEED=987894467 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28727908 kB MemAvailable: 31989808 kB Buffers: 265208 kB Cached: 3286764 kB SwapCached: 0 kB Active: 960660 kB Inactive: 2644592 kB Active(anon): 55888 kB Inactive(anon): 25044 kB Active(file): 904772 kB Inactive(file): 2619548 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7776 kB Writeback: 0 kB AnonPages: 69544 kB Mapped: 44788 kB Shmem: 25224 kB Slab: 133088 kB SReclaimable: 106832 kB SUnreclaim: 26256 kB KernelStack: 3696 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61748 MiB End job on node151 at 2017-08-14 06:15:00