Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 63 | 20019.1 | 2520.1001 |
Name | StillLife/StillLife-m1-s1/ StillLife-10-12.xml |
MD5SUM | 20c15018e625ff04718a0750d7a9de92 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 276 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":120},{"size":9,"count":120}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":120},{"degree":7,"count":4},{"degree":8,"count":36},{"degree":10,"count":80}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":120},{"arity":3,"count":36},{"arity":4,"count":4},{"arity":6,"count":36},{"arity":9,"count":80}] |
Number of extensional constraints | 156 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":156},{"type":"sum","count":120}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270788-1502673122.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270788-1502673122.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.81/0.77 c solve instance... 2.33/0.84 o 0 2.33/0.85 o 4 2.33/0.87 o 6 2.33/0.89 o 8 2.99/0.90 o 10 2.99/0.90 o 11 2.99/0.91 o 52 2.99/0.91 o 53 2.99/0.94 o 55 2.99/0.94 o 57 2.99/0.95 o 59 7.56/1.50 o 60 17.08/2.76 o 61 46.33/6.44 o 62 335.81/42.92 o 63 20018.44/2520.08 s SATISFIABLE 20018.44/2520.08 v <instantiation> 20018.44/2520.08 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] </list> 20018.44/2520.08 v <values>1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 3 3 4 3 3 4 3 3 4 3 3 2 3 3 4 3 3 4 3 3 4 3 3 2 4 5 5 5 5 5 5 5 5 4 4 2 2 3 2 2 2 3 3 3 2 2 4 2 3 5 5 5 5 5 3 5 4 4 3 2 4 3 4 2 3 4 4 5 3 5 5 4 2 2 5 3 6 3 3 3 3 3 3 2 4 4 5 2 6 3 6 5 5 5 5 3 2 3 5 3 6 3 5 3 2 4 3 4 2 4 3 2 4 2 3 4 2 4 2 2 </values> 20018.44/2520.08 v </instantiation> 20018.44/2520.08 c Unexpected resolution interruption!
OK 63
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 (14083 MiB free) memory of node 1: 16384 MiB (12281 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270788-1502673122/watcher-4270788-1502673122 -o /tmp/evaluation-result-4270788-1502673122/solver-4270788-1502673122 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502667219-28804 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2093871501 HOME/instance-4270788-1502673122.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 Current StackSize limit: 8192 KiB solver pid=29154, runsolver pid=29151 [startup+0.100111 s]* /proc/loadavg: 9.40 9.01 8.84 2/199 29175 /proc/meminfo: memFree=26981700/32770624 swapFree=67108860/67108860 [pid=29154] ppid=29151 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 28777 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100400055 9740288 346 33554432000 4194304 5098028 140735297738624 140735297736728 139789983212156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140735297746020 140735297746231 140735297746231 140735297748971 0 /proc/29154/statm: 2378 346 289 221 0 87 0 [pid=29156] ppid=29154 vsize=25999808 memory=26628 CPUtime=0.12 cores=0-7 /proc/29156/stat : 29156 (java) S 29154 29154 28777 0 -1 1077944320 5609 0 0 0 11 1 0 0 20 0 20 0 100400055 26623803392 6657 33554432000 4194304 4196468 140735247102624 140735247085168 140554800590583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 /proc/29156/statm: 6499952 6657 2845 1 0 6488269 0 [pid=29156/tid=29157] ppid=29154 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29156/task/29157/stat : 29157 (java) R 29154 29154 28777 0 -1 4202560 3605 0 0 0 8 0 0 0 20 0 20 0 100400055 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554804822832 140554784634213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29158] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29158/stat : 29158 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554753211024 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29159] ppid=29154 vsize=25999808 memory=139965848405632 CPUtime=0 cores=0-7 /proc/29156/task/29159/stat : 29159 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554752158224 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29160] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29160/stat : 29160 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554357045648 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29161] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29161/stat : 29161 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554355992848 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29162] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29162/stat : 29162 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554354941072 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29163] ppid=29154 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29156/task/29163/stat : 29163 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554353888272 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29164] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29164/stat : 29164 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554352835472 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29165] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29165/stat : 29165 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26623803392 6657 33554432000 4194304 4196468 140735247102624 140554351782672 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29166] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29166/stat : 29166 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400057 26623803392 6657 33554432000 4194304 4196468 140735247102624 140553005623664 140554800601730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29167] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29167/stat : 29167 (java) S 29154 29154 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100400058 26623803392 6657 33554432000 4194304 4196468 140735247102624 140553004569632 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29168] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29168/stat : 29168 (java) S 29154 29154 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100400058 26623803392 6657 33554432000 4194304 4196468 140735247102624 140553003516784 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29169] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29169/stat : 29169 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400060 26623803392 6657 33554432000 4194304 4196468 140735247102624 140553002465104 140554800609179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29170] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29170/stat : 29170 (java) S 29154 29154 28777 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 100400060 26623803392 6657 33554432000 4194304 4196468 140735247102624 140553001413488 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29171] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29171/stat : 29171 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400061 26623803392 6657 33554432000 4194304 4196468 140735247102624 140553000360688 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29172] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29172/stat : 29172 (java) S 29154 29154 28777 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 100400061 26623803392 6657 33554432000 4194304 4196468 140735247102624 140552999307888 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29173] ppid=29154 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/29156/task/29173/stat : 29173 (java) S 29154 29154 28777 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 100400061 26623803392 6657 33554432000 4194304 4196468 140735247102624 140552998255088 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29174] ppid=29154 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29174/stat : 29174 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100400061 26623803392 6657 33554432000 4194304 4196468 140735247102624 140552997202528 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29175] ppid=29154 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29156/task/29175/stat : 29175 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400061 26623803392 6657 33554432000 4194304 4196468 140735247102624 140552996149808 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28012 KiB [startup+0.20995 s]* /proc/loadavg: 9.40 9.01 8.84 2/199 29175 /proc/meminfo: memFree=26971540/32770624 swapFree=67108860/67108860 [pid=29154] ppid=29151 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 28777 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100400055 9740288 346 33554432000 4194304 5098028 140735297738624 140735297736728 139789983212156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140735297746020 140735297746231 140735297746231 140735297748971 0 /proc/29154/statm: 2378 346 289 221 0 87 0 [pid=29156] ppid=29154 vsize=26004064 memory=38968 CPUtime=0.33 cores=0-7 /proc/29156/stat : 29156 (java) S 29154 29154 28777 0 -1 1077944320 8318 0 0 0 31 2 0 0 20 0 20 0 100400055 26628161536 9742 33554432000 4194304 4196468 140735247102624 140735247085168 140554800590583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 /proc/29156/statm: 6501016 9742 3072 1 0 6488269 0 [pid=29156/tid=29157] ppid=29154 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29156/task/29157/stat : 29157 (java) R 29154 29154 28777 0 -1 4202560 5422 0 0 0 18 1 0 0 20 0 20 0 100400055 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554804804592 140554784671070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29158] ppid=29154 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/29156/task/29158/stat : 29158 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554753211024 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29159] ppid=29154 vsize=26004064 memory=139965848434595 CPUtime=0 cores=0-7 /proc/29156/task/29159/stat : 29159 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554752158224 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29160] ppid=29154 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29156/task/29160/stat : 29160 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554357045648 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29161] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29161/stat : 29161 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554355992848 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29162] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29162/stat : 29162 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554354941072 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29163] ppid=29154 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29156/task/29163/stat : 29163 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554353888272 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29164] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29164/stat : 29164 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554352835472 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29165] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29165/stat : 29165 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 9742 33554432000 4194304 4196468 140735247102624 140554351782672 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29166] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29166/stat : 29166 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400057 26628161536 9742 33554432000 4194304 4196468 140735247102624 140553005623664 140554800601730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29167] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29167/stat : 29167 (java) S 29154 29154 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100400058 26628161536 9742 33554432000 4194304 4196468 140735247102624 140553004569632 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29168] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29168/stat : 29168 (java) S 29154 29154 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100400058 26628161536 9742 33554432000 4194304 4196468 140735247102624 140553003516784 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29169] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29169/stat : 29169 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400060 26628161536 9742 33554432000 4194304 4196468 140735247102624 140553002465104 140554800609179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29170] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29170/stat : 29170 (java) S 29154 29154 28777 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 100400060 26628161536 9742 33554432000 4194304 4196468 140735247102624 140553001413488 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29171] ppid=29154 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/29156/task/29171/stat : 29171 (java) S 29154 29154 28777 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 100400061 26628161536 9742 33554432000 4194304 4196468 140735247102624 140553000360688 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29172] ppid=29154 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/29156/task/29172/stat : 29172 (java) S 29154 29154 28777 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 20 0 100400061 26628161536 9742 33554432000 4194304 4196468 140735247102624 140552999307888 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29173] ppid=29154 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/29156/task/29173/stat : 29173 (java) R 29154 29154 28777 0 -1 4202560 780 0 0 0 7 0 0 0 20 0 20 0 100400061 26628161536 9742 33554432000 4194304 4196468 140735247102624 140552998255088 140554800611930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29174] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29174/stat : 29174 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100400061 26628161536 9742 33554432000 4194304 4196468 140735247102624 140552997202528 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29175] ppid=29154 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29156/task/29175/stat : 29175 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400061 26628161536 9742 33554432000 4194304 4196468 140735247102624 140552996149808 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40352 KiB [startup+0.309266 s]* /proc/loadavg: 8.73 8.88 8.80 3/199 29175 /proc/meminfo: memFree=26967136/32770624 swapFree=67108860/67108860 [pid=29154] ppid=29151 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 28777 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100400055 9740288 346 33554432000 4194304 5098028 140735297738624 140735297736728 139789983212156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140735297746020 140735297746231 140735297746231 140735297748971 0 /proc/29154/statm: 2378 346 289 221 0 87 0 [pid=29156] ppid=29154 vsize=26004064 memory=43856 CPUtime=0.51 cores=0-7 /proc/29156/stat : 29156 (java) S 29154 29154 28777 0 -1 1077944320 9202 0 0 0 48 3 0 0 20 0 20 0 100400055 26628161536 10964 33554432000 4194304 4196468 140735247102624 140735247085168 140554800590583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 /proc/29156/statm: 6501016 10964 3100 1 0 6488269 0 [pid=29156/tid=29157] ppid=29154 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29156/task/29157/stat : 29157 (java) R 29154 29154 28777 0 -1 4202560 6093 0 0 0 27 2 0 0 20 0 20 0 100400055 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554804829888 140554800602518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29158] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29158/stat : 29158 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554753211024 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29159] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29159/stat : 29159 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554752158224 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29160] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29160/stat : 29160 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554357045648 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29161] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29161/stat : 29161 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554355992848 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29162] ppid=29154 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/29156/task/29162/stat : 29162 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554354941072 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29163] ppid=29154 vsize=26004064 memory=139965736514479 CPUtime=0 cores=0-7 /proc/29156/task/29163/stat : 29163 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554353888272 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29164] ppid=29154 vsize=26004064 memory=139965736516784 CPUtime=0 cores=0-7 /proc/29156/task/29164/stat : 29164 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554352835472 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29165] ppid=29154 vsize=26004064 memory=139965736519088 CPUtime=0 cores=0-7 /proc/29156/task/29165/stat : 29165 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400056 26628161536 10964 33554432000 4194304 4196468 140735247102624 140554351782672 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29166] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29166/stat : 29166 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400057 26628161536 10964 33554432000 4194304 4196468 140735247102624 140553005623664 140554800601730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29167] ppid=29154 vsize=26004064 memory=279931473045136 CPUtime=0 cores=0-7 /proc/29156/task/29167/stat : 29167 (java) S 29154 29154 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100400058 26628161536 10964 33554432000 4194304 4196468 140735247102624 140553004569632 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29168] ppid=29154 vsize=26004064 memory=279931473052048 CPUtime=0 cores=0-7 /proc/29156/task/29168/stat : 29168 (java) S 29154 29154 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100400058 26628161536 10964 33554432000 4194304 4196468 140735247102624 140553003516784 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29169] ppid=29154 vsize=26004064 memory=279931472993328 CPUtime=0 cores=0-7 /proc/29156/task/29169/stat : 29169 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400060 26628161536 10964 33554432000 4194304 4196468 140735247102624 140553002465104 140554800609179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29170] ppid=29154 vsize=26004064 memory=279931473065872 CPUtime=0 cores=0-7 /proc/29156/task/29170/stat : 29170 (java) S 29154 29154 28777 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 20 0 100400060 26628161536 10964 33554432000 4194304 4196468 140735247102624 140553001413488 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29171] ppid=29154 vsize=26004064 memory=279931473072784 CPUtime=0.02 cores=0-7 /proc/29156/task/29171/stat : 29171 (java) S 29154 29154 28777 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 100400061 26628161536 10964 33554432000 4194304 4196468 140735247102624 140553000360688 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29172] ppid=29154 vsize=26004064 memory=279931473070480 CPUtime=0.03 cores=0-7 /proc/29156/task/29172/stat : 29172 (java) S 29154 29154 28777 0 -1 1077944384 319 0 0 0 3 0 0 0 20 0 20 0 100400061 26628161536 10964 33554432000 4194304 4196468 140735247102624 140552999307888 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29173] ppid=29154 vsize=26004064 memory=279931473086640 CPUtime=0.12 cores=0-7 /proc/29156/task/29173/stat : 29173 (java) R 29154 29154 28777 0 -1 4202560 896 0 0 0 12 0 0 0 20 0 20 0 100400061 26628161536 10964 33554432000 4194304 4196468 140735247102624 140552998250768 140554782154112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29174] ppid=29154 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29174/stat : 29174 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100400061 26628161536 10964 33554432000 4194304 4196468 140735247102624 140552997202528 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29175] ppid=29154 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29156/task/29175/stat : 29175 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100400061 26628161536 10964 33554432000 4194304 4196468 140735247102624 140552996149808 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45240 KiB [startup+0.7009 s] /proc/loadavg: 8.73 8.88 8.80 3/199 29175 /proc/meminfo: memFree=26954852/32770624 swapFree=67108860/67108860 [pid=29154] ppid=29151 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 28777 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100400055 9740288 346 33554432000 4194304 5098028 140735297738624 140735297736728 139789983212156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140735297746020 140735297746231 140735297746231 140735297748971 0 /proc/29154/statm: 2378 346 289 221 0 87 0 [pid=29156] ppid=29154 vsize=26006188 memory=91904 CPUtime=1.81 cores=0-7 /proc/29156/stat : 29156 (java) S 29154 29154 28777 0 -1 1077944320 14637 0 0 0 177 4 0 0 20 0 20 0 100400055 26630336512 22976 33554432000 4194304 4196468 140735247102624 140735247085168 140554800590583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 /proc/29156/statm: 6501547 22976 3203 1 0 6488781 0 [pid=29156/tid=29157] ppid=29154 vsize=26006188 memory=279931473444528 CPUtime=0.67 cores=0-7 /proc/29156/task/29157/stat : 29157 (java) R 29154 29154 28777 0 -1 4202560 6817 0 0 0 65 2 0 0 20 0 20 0 100400055 26630336512 22976 33554432000 4194304 4196468 140735247102624 140554804826272 140554432302384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29158] ppid=29154 vsize=26006188 memory=139965736723312 CPUtime=0 cores=0-7 /proc/29156/task/29158/stat : 29158 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26630336512 22976 33554432000 4194304 4196468 140735247102624 140554753211024 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29159] ppid=29154 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/29156/task/29159/stat : 29159 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100400056 26630336512 22976 33554432000 4194304 4196468 140735247102624 140554752158224 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29160] ppid=29154 vsize=26006188 memory=1008 CPUtime=0 cores=0-7 /proc/29156/task/29160/stat : 29160 (java) S 29154 29154 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100400056 26630336512 22976 33554432000 4194304 4196468 140735247102624 140554357045648 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 ################ # More data... # ################ [pid=29156/tid=29304] ppid=29154 vsize=26538700 memory=6791534058613427641 CPUtime=2374.41 cores=0-7 /proc/29156/task/29304/stat : 29304 (java) R 29154 29154 28777 0 -1 4202560 372606 0 0 0 237289 152 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552987089360 140554440164187 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 Current children cumulated CPU time: 19401.5 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1194840 KiB [startup+2502.3 s] /proc/loadavg: 8.49 8.24 8.28 9/207 29399 /proc/meminfo: memFree=25816384/32770624 swapFree=67108860/67108860 [pid=29154] ppid=29151 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 28777 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100400055 9740288 346 33554432000 4194304 5098028 140735297738624 140735297736728 139789983212156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140735297746020 140735297746231 140735297746231 140735297748971 0 /proc/29154/statm: 2378 346 289 221 0 87 0 [pid=29156] ppid=29154 vsize=26538700 memory=1193456 CPUtime=19877.8 cores=0-7 /proc/29156/stat : 29156 (java) S 29154 29154 28777 0 -1 1077944320 1333826 0 0 0 1987028 750 0 0 20 0 28 0 100400055 27175628800 298364 33554432000 4194304 4196468 140735247102624 140735247085168 140554800590583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 /proc/29156/statm: 6634675 298364 3299 1 0 6621909 0 [pid=29156/tid=29157] ppid=29154 vsize=26538700 memory=1384 CPUtime=0.77 cores=0-7 /proc/29156/task/29157/stat : 29157 (java) S 29154 29154 28777 0 -1 1077944384 7173 0 0 0 74 3 0 0 20 0 28 0 100400055 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554804831360 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29158] ppid=29154 vsize=26538700 memory=1193456 CPUtime=6.57 cores=0-7 /proc/29156/task/29158/stat : 29158 (java) S 29154 29154 28777 0 -1 1077944384 31529 0 0 0 618 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554753211024 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29159] ppid=29154 vsize=26538700 memory=1193456 CPUtime=6.54 cores=0-7 /proc/29156/task/29159/stat : 29159 (java) S 29154 29154 28777 0 -1 1077944384 33393 0 0 0 617 37 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554752158224 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29160] ppid=29154 vsize=26538700 memory=1384 CPUtime=6.55 cores=0-7 /proc/29156/task/29160/stat : 29160 (java) S 29154 29154 28777 0 -1 1077944384 32579 0 0 0 617 38 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554357045648 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29161] ppid=29154 vsize=26538700 memory=1193456 CPUtime=6.57 cores=0-7 /proc/29156/task/29161/stat : 29161 (java) S 29154 29154 28777 0 -1 1077944384 34128 0 0 0 617 40 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554355992848 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29162] ppid=29154 vsize=26538700 memory=1193456 CPUtime=6.58 cores=0-7 /proc/29156/task/29162/stat : 29162 (java) S 29154 29154 28777 0 -1 1077944384 35806 0 0 0 618 40 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554354941072 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29163] ppid=29154 vsize=26538700 memory=164 CPUtime=6.54 cores=0-7 /proc/29156/task/29163/stat : 29163 (java) S 29154 29154 28777 0 -1 1077944384 37594 0 0 0 615 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554353888272 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29164] ppid=29154 vsize=26538700 memory=4623625986380073530 CPUtime=6.52 cores=0-7 /proc/29156/task/29164/stat : 29164 (java) S 29154 29154 28777 0 -1 1077944384 35695 0 0 0 613 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554352835472 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29165] ppid=29154 vsize=26538700 memory=1424 CPUtime=6.54 cores=0-7 /proc/29156/task/29165/stat : 29165 (java) S 29154 29154 28777 0 -1 1077944384 33444 0 0 0 615 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554351782672 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29166] ppid=29154 vsize=26538700 memory=13056 CPUtime=4.55 cores=0-7 /proc/29156/task/29166/stat : 29166 (java) S 29154 29154 28777 0 -1 1077944384 101280 0 0 0 374 81 0 0 20 0 28 0 100400057 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553005623664 140554800601730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29167] ppid=29154 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/29156/task/29167/stat : 29167 (java) S 29154 29154 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 100400058 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553004569632 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29168] ppid=29154 vsize=26538700 memory=4140 CPUtime=0 cores=0-7 /proc/29156/task/29168/stat : 29168 (java) S 29154 29154 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 100400058 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553003516784 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29169] ppid=29154 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/29156/task/29169/stat : 29169 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100400060 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553002465104 140554800609179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29170] ppid=29154 vsize=26538700 memory=15872 CPUtime=1.47 cores=0-7 /proc/29156/task/29170/stat : 29170 (java) S 29154 29154 28777 0 -1 1077944384 8202 0 0 0 145 2 0 0 20 0 28 0 100400060 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553001413488 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29171] ppid=29154 vsize=26538700 memory=6791534058613427641 CPUtime=1.62 cores=0-7 /proc/29156/task/29171/stat : 29171 (java) S 29154 29154 28777 0 -1 1077944384 7622 0 0 0 160 2 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553000360688 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29172] ppid=29154 vsize=26538700 memory=1193456 CPUtime=1.76 cores=0-7 /proc/29156/task/29172/stat : 29172 (java) S 29154 29154 28777 0 -1 1077944384 7538 0 0 0 175 1 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552999307888 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29173] ppid=29154 vsize=26538700 memory=6296427460488161896 CPUtime=0.79 cores=0-7 /proc/29156/task/29173/stat : 29173 (java) S 29154 29154 28777 0 -1 1077944384 7101 0 0 0 78 1 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552998255088 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29174] ppid=29154 vsize=26538700 memory=5637146113 CPUtime=0 cores=0-7 /proc/29156/task/29174/stat : 29174 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552997202528 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29175] ppid=29154 vsize=26538700 memory=4124 CPUtime=0.47 cores=0-7 /proc/29156/task/29175/stat : 29175 (java) S 29154 29154 28777 0 -1 1077944384 5385 0 0 0 25 22 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552996149808 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29297] ppid=29154 vsize=26538700 memory=2200 CPUtime=2437.68 cores=0-7 /proc/29156/task/29297/stat : 29297 (java) R 29154 29154 28777 0 -1 4202560 48492 0 0 0 243744 24 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552982874584 140554440426295 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29298] ppid=29154 vsize=26538700 memory=640 CPUtime=2436.66 cores=0-7 /proc/29156/task/29298/stat : 29298 (java) R 29154 29154 28777 0 -1 4202560 45819 0 0 0 243639 27 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552986034288 140554439247409 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29299] ppid=29154 vsize=26538700 memory=956 CPUtime=2436.13 cores=0-7 /proc/29156/task/29299/stat : 29299 (java) R 29154 29154 28777 0 -1 4202560 40967 0 0 0 243589 24 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552983929840 140554438985858 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29300] ppid=29154 vsize=26538700 memory=2344 CPUtime=2435.91 cores=0-7 /proc/29156/task/29300/stat : 29300 (java) R 29154 29154 28777 0 -1 4202560 57903 0 0 0 243562 29 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552980774016 140554438174968 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29301] ppid=29154 vsize=26538700 memory=1193456 CPUtime=2437.21 cores=0-7 /proc/29156/task/29301/stat : 29301 (java) R 29154 29154 28777 0 -1 4202560 61206 0 0 0 243693 28 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552984982256 140554438174631 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29302] ppid=29154 vsize=26538700 memory=2428 CPUtime=2434.27 cores=0-7 /proc/29156/task/29302/stat : 29302 (java) R 29154 29154 28777 0 -1 4202560 72091 0 0 0 243390 37 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552981823552 140554440649324 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29303] ppid=29154 vsize=26538700 memory=1732 CPUtime=2433.12 cores=0-7 /proc/29156/task/29303/stat : 29303 (java) R 29154 29154 28777 0 -1 4202560 204521 0 0 0 243264 48 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552988140000 140554440952805 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29304] ppid=29154 vsize=26538700 memory=1944 CPUtime=2433.92 cores=0-7 /proc/29156/task/29304/stat : 29304 (java) R 29154 29154 28777 0 -1 4202560 372819 0 0 0 243240 152 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552987087216 140554440724065 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 Current children cumulated CPU time: 19877.8 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1194840 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.53 8.26 8.28 9/207 29399 /proc/meminfo: memFree=25815920/32770624 swapFree=67108860/67108860 [pid=29154] ppid=29151 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 28777 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100400055 9740288 346 33554432000 4194304 5098028 140735297738624 140735297736728 139789983212156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140735297746020 140735297746231 140735297746231 140735297748971 0 /proc/29154/statm: 2378 346 289 221 0 87 0 [pid=29156] ppid=29154 vsize=26538700 memory=1193456 CPUtime=20018.4 cores=0-7 /proc/29156/stat : 29156 (java) S 29154 29154 28777 0 -1 1077944320 1340014 0 0 0 2001092 752 0 0 20 0 28 0 100400055 27175628800 298364 33554432000 4194304 4196468 140735247102624 140735247085168 140554800590583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 /proc/29156/statm: 6634675 298364 3299 1 0 6621909 0 [pid=29156/tid=29157] ppid=29154 vsize=26538700 memory=6791534058613427641 CPUtime=0.77 cores=0-7 /proc/29156/task/29157/stat : 29157 (java) S 29154 29154 28777 0 -1 1077944384 7173 0 0 0 74 3 0 0 20 0 28 0 100400055 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554804831360 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29158] ppid=29154 vsize=26538700 memory=4126316290023845779 CPUtime=6.6 cores=0-7 /proc/29156/task/29158/stat : 29158 (java) S 29154 29154 28777 0 -1 1077944384 31872 0 0 0 621 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554753211024 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29159] ppid=29154 vsize=26538700 memory=4624 CPUtime=6.59 cores=0-7 /proc/29156/task/29159/stat : 29159 (java) S 29154 29154 28777 0 -1 1077944384 33484 0 0 0 621 38 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554752158224 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29160] ppid=29154 vsize=26538700 memory=1424 CPUtime=6.59 cores=0-7 /proc/29156/task/29160/stat : 29160 (java) S 29154 29154 28777 0 -1 1077944384 32896 0 0 0 621 38 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554357045648 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29161] ppid=29154 vsize=26538700 memory=13056 CPUtime=6.61 cores=0-7 /proc/29156/task/29161/stat : 29161 (java) S 29154 29154 28777 0 -1 1077944384 34448 0 0 0 621 40 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554355992848 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29162] ppid=29154 vsize=26538700 memory=792 CPUtime=6.62 cores=0-7 /proc/29156/task/29162/stat : 29162 (java) S 29154 29154 28777 0 -1 1077944384 36297 0 0 0 621 41 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554354941072 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29163] ppid=29154 vsize=26538700 memory=1008 CPUtime=6.57 cores=0-7 /proc/29156/task/29163/stat : 29163 (java) S 29154 29154 28777 0 -1 1077944384 37930 0 0 0 618 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554353888272 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29164] ppid=29154 vsize=26538700 memory=10588 CPUtime=6.56 cores=0-7 /proc/29156/task/29164/stat : 29164 (java) S 29154 29154 28777 0 -1 1077944384 35875 0 0 0 617 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554352835472 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29165] ppid=29154 vsize=26538700 memory=1204 CPUtime=6.57 cores=0-7 /proc/29156/task/29165/stat : 29165 (java) S 29154 29154 28777 0 -1 1077944384 34266 0 0 0 618 39 0 0 20 0 28 0 100400056 27175628800 298364 33554432000 4194304 4196468 140735247102624 140554351782672 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29166] ppid=29154 vsize=26538700 memory=1384 CPUtime=4.59 cores=0-7 /proc/29156/task/29166/stat : 29166 (java) S 29154 29154 28777 0 -1 1077944384 101856 0 0 0 377 82 0 0 20 0 28 0 100400057 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553005623664 140554800601730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29167] ppid=29154 vsize=26538700 memory=1193456 CPUtime=0 cores=0-7 /proc/29156/task/29167/stat : 29167 (java) S 29154 29154 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 100400058 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553004569632 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29168] ppid=29154 vsize=26538700 memory=4052 CPUtime=0 cores=0-7 /proc/29156/task/29168/stat : 29168 (java) S 29154 29154 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 100400058 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553003516784 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29169] ppid=29154 vsize=26538700 memory=16256 CPUtime=0 cores=0-7 /proc/29156/task/29169/stat : 29169 (java) S 29154 29154 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100400060 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553002465104 140554800609179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29170] ppid=29154 vsize=26538700 memory=1236 CPUtime=1.47 cores=0-7 /proc/29156/task/29170/stat : 29170 (java) S 29154 29154 28777 0 -1 1077944384 8208 0 0 0 145 2 0 0 20 0 28 0 100400060 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553001413488 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29171] ppid=29154 vsize=26538700 memory=1792 CPUtime=1.62 cores=0-7 /proc/29156/task/29171/stat : 29171 (java) S 29154 29154 28777 0 -1 1077944384 7628 0 0 0 160 2 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140553000360688 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29172] ppid=29154 vsize=26538700 memory=640 CPUtime=1.76 cores=0-7 /proc/29156/task/29172/stat : 29172 (java) S 29154 29154 28777 0 -1 1077944384 7544 0 0 0 175 1 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552999307888 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29173] ppid=29154 vsize=26538700 memory=956 CPUtime=0.79 cores=0-7 /proc/29156/task/29173/stat : 29173 (java) S 29154 29154 28777 0 -1 1077944384 7107 0 0 0 78 1 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552998255088 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29174] ppid=29154 vsize=26538700 memory=4212 CPUtime=0 cores=0-7 /proc/29156/task/29174/stat : 29174 (java) S 29154 29154 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552997202528 140554800600789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29175] ppid=29154 vsize=26538700 memory=4104 CPUtime=0.47 cores=0-7 /proc/29156/task/29175/stat : 29175 (java) S 29154 29154 28777 0 -1 1077944384 5418 0 0 0 25 22 0 0 20 0 28 0 100400061 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552996149808 140554800601730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29297] ppid=29154 vsize=26538700 memory=1152 CPUtime=2455.23 cores=0-7 /proc/29156/task/29297/stat : 29297 (java) R 29154 29154 28777 0 -1 4202560 48716 0 0 0 245499 24 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552982875400 140554438175157 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29298] ppid=29154 vsize=26538700 memory=3892 CPUtime=2454.17 cores=0-7 /proc/29156/task/29298/stat : 29298 (java) R 29154 29154 28777 0 -1 4202560 46005 0 0 0 245389 28 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552986037440 140735248369878 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29299] ppid=29154 vsize=26538700 memory=1384 CPUtime=2453.74 cores=0-7 /proc/29156/task/29299/stat : 29299 (java) R 29154 29154 28777 0 -1 4202560 41195 0 0 0 245349 25 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552983929840 140554438792576 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29300] ppid=29154 vsize=26538700 memory=1193456 CPUtime=2453.49 cores=0-7 /proc/29156/task/29300/stat : 29300 (java) R 29154 29154 28777 0 -1 4202560 58306 0 0 0 245319 30 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552980774672 140554438175964 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29301] ppid=29154 vsize=26538700 memory=6791534058613427641 CPUtime=2454.77 cores=0-7 /proc/29156/task/29301/stat : 29301 (java) R 29154 29154 28777 0 -1 4202560 61442 0 0 0 245449 28 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552984982376 140554438175493 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29302] ppid=29154 vsize=26538700 memory=840 CPUtime=2451.73 cores=0-7 /proc/29156/task/29302/stat : 29302 (java) R 29154 29154 28777 0 -1 4202560 72438 0 0 0 245136 37 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552981824000 140554438175086 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29303] ppid=29154 vsize=26538700 memory=1692 CPUtime=2450.69 cores=0-7 /proc/29156/task/29303/stat : 29303 (java) R 29154 29154 28777 0 -1 4202560 205239 0 0 0 245020 49 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552988142224 140554438175401 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 [pid=29156/tid=29304] ppid=29154 vsize=26538700 memory=1193456 CPUtime=2451.48 cores=0-7 /proc/29156/task/29304/stat : 29304 (java) R 29154 29154 28777 0 -1 4202560 373132 0 0 0 244995 153 0 0 20 0 28 0 100404347 27175628800 298364 33554432000 4194304 4196468 140735247102624 140552987087200 140554439247414 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 10932224 140735247111314 140735247111491 140735247111491 140735247114191 0 Current children cumulated CPU time: 20018.4 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1194840 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 29154 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00094 s, system=0.00094 s [startup+2520.1 s] # the end of solver process 29156 was just reported to runsolver # cumulated CPU time of all completed processes: user=20011.6 s, system=7.5367 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.1 CPU time (s): 20019.1 CPU user time (s): 20011.6 CPU system time (s): 7.5367 CPU usage (%): 794.377 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 2282032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20011.6 system time used= 7.5367 maximum resident set size= 2319972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1340950 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 399555 involuntary context switches= 224516 # summary of solver processes directly reported to runsolver: # pid: 29154,29156 # total CPU time (s): 20019.1 # total CPU user time (s): 20011.6 # total CPU system time (s): 7.5367 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.5155 second user time and 22.1247 second system time The end
Begin job on node114 at 2017-08-14 02:57:44 IDJOB=4270788 IDBENCH=115943 IDSOLVER=2662 FILE ID=node114/4270788-1502673122 RUNJOBID= node114-1502667219-28804 PBS_JOBID= 20628964 Free space on /tmp= 61700 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-10-12.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-4270788-1502673122/watcher-4270788-1502673122 -o /tmp/evaluation-result-4270788-1502673122/solver-4270788-1502673122 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502667219-28804 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2093871501 HOME/instance-4270788-1502673122.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 20c15018e625ff04718a0750d7a9de92 RANDOM SEED=2093871501 node114.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.98 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.98 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.98 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.98 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: 26997948 kB MemAvailable: 31987828 kB Buffers: 176884 kB Cached: 5101800 kB SwapCached: 0 kB Active: 450108 kB Inactive: 4882732 kB Active(anon): 56992 kB Inactive(anon): 25036 kB Active(file): 393116 kB Inactive(file): 4857696 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7788 kB Writeback: 0 kB AnonPages: 60808 kB Mapped: 44040 kB Shmem: 25224 kB Slab: 134768 kB SReclaimable: 109808 kB SUnreclaim: 24960 kB KernelStack: 3136 kB PageTables: 4576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323432 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61692 MiB End job on node114 at 2017-08-14 03:39:44