Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | OPT | 771 | 115.71 | 110.957 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-5.xml |
MD5SUM | 36a1aa2a38358c951443c34d8d302d49 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 771 |
Best CPU time to get the best result obtained on this benchmark | 74.6579 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 56 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":5},{"size":30,"count":55}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406130-1569408287.xml" -tl '2520s' -p 1 0.12/0.19 c Choco e747e1e 0.12/0.20 c [HOME/instance-4406130-1569408287.xml, -tl, 2520s, -p, 1] 0.35/0.24 c simple solver 0.35/0.31 c parse instance... 1.26/0.66 c solve instance... 3.42/1.36 o 438 3.42/1.36 o 495 3.42/1.36 o 555 3.42/1.36 o 589 3.72/1.40 o 637 3.72/1.40 o 657 3.72/1.41 o 752 17.80/13.68 o 755 17.90/13.79 o 769 18.10/13.99 o 771 115.65/110.95 s OPTIMUM FOUND 115.65/110.95 v <instantiation> 115.65/110.95 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 115.65/110.95 v <values>2 0 23 6 4 5 18 15 8 29 11 26 12 10 14 20 1 17 7 13 27 21 22 19 24 25 9 16 28 3 46 0 180 194 0 0 273 574 0 1 58 26 0 43 0 45 178 0 41 40 73 0 0 1 0 0 70 61 0 89 0 0 74 24 0 0 54 91 0 21 31 3 0 60 0 90 78 0 17 17 8 0 0 56 0 0 80 47 0 20 </values> 115.65/110.95 v </instantiation>
OK 771
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: 16375 MiB (15344 MiB free) memory of node 1: 16384 MiB (9539 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406130-1569408287/watcher-4406130-1569408287 -o /tmp/evaluation-result-4406130-1569408287/solver-4406130-1569408287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569408230-24921 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2000676883 HOME/instance-4406130-1569408287.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=25123, runsolver pid=25120 Current StackSize limit: 8192 KiB [startup+0.101726 s]* /proc/loadavg: 1.79 1.90 1.99 6/231 25141 /proc/meminfo: memFree=25461764/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15144776 memory=28672 CPUtime=0.12 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 5636 0 0 0 11 1 0 0 20 0 15 0 516770330 15508250624 7168 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3786194 7168 3122 1 0 3748377 0 [pid=25125/tid=25126] ppid=25123 vsize=15144776 memory=8036256212623698507 CPUtime=0.09 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 3554 0 0 0 9 0 0 0 20 0 15 0 516770330 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131961345840 140131941193054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15144776 memory=140437599467136 CPUtime=0 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15144776 memory=140437599467136 CPUtime=0 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770333 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770333 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131423987360 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770333 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131422934256 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) S 25123 25123 24889 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 516770336 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131420829936 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) S 25123 25123 24889 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516770336 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131419777392 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15144776 memory=140437599467136 CPUtime=0.02 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) S 25123 25123 24889 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 516770336 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131418724336 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15144776 memory=140437599467136 CPUtime=0 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770337 15508250624 7168 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30124 KiB [startup+0.215803 s]* /proc/loadavg: 1.79 1.90 1.99 5/231 25141 /proc/meminfo: memFree=25446568/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15144776 memory=40124 CPUtime=0.35 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 9228 0 0 0 33 2 0 0 20 0 15 0 516770330 15508250624 10031 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3786194 10031 3298 1 0 3748377 0 [pid=25125/tid=25126] ppid=25123 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 6512 0 0 0 19 1 0 0 20 0 15 0 516770330 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131961346400 140131957134493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15144776 memory=9642 CPUtime=0 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15144776 memory=3852098 CPUtime=0 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770331 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770333 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770333 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131423987360 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15144776 memory=140437599467136 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770333 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131422934256 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15144776 memory=0 CPUtime=0.01 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) S 25123 25123 24889 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 15 0 516770336 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131420829936 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15144776 memory=-1 CPUtime=0.04 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) S 25123 25123 24889 0 -1 1077944384 284 0 0 0 4 0 0 0 20 0 15 0 516770336 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131419777392 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15144776 memory=0 CPUtime=0.08 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) S 25123 25123 24889 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 516770336 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131418724336 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770337 15508250624 10031 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41576 KiB [startup+0.31173 s]* /proc/loadavg: 1.79 1.90 1.99 5/231 25141 /proc/meminfo: memFree=25439472/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15149032 memory=46268 CPUtime=0.52 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 10453 0 0 0 49 3 0 0 20 0 15 0 516770330 15512608768 11567 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3787258 11567 3334 1 0 3748377 0 [pid=25125/tid=25126] ppid=25123 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 7515 0 0 0 28 2 0 0 20 0 15 0 516770330 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131961334720 140131941193054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15149032 memory=3845046 CPUtime=0 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770331 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15149032 memory=140437599467136 CPUtime=0 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516770333 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770333 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131423987360 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770333 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131422934256 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15149032 memory=0 CPUtime=0.02 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) S 25123 25123 24889 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 516770336 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131420829936 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15149032 memory=-1 CPUtime=0.05 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) S 25123 25123 24889 0 -1 1077944384 324 0 0 0 5 0 0 0 20 0 15 0 516770336 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131419777392 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15149032 memory=140437599467136 CPUtime=0.12 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) S 25123 25123 24889 0 -1 1077944384 939 0 0 0 12 0 0 0 20 0 15 0 516770336 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131418724336 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15149032 memory=140437599467136 CPUtime=0 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770337 15512608768 11567 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 47720 KiB [startup+0.707803 s] /proc/loadavg: 1.79 1.90 1.99 6/231 25141 /proc/meminfo: memFree=25424384/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15151156 memory=77872 CPUtime=1.54 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 14686 0 0 0 149 5 0 0 20 0 15 0 516770330 15514783744 19468 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3787789 19468 3450 1 0 3748889 0 [pid=25125/tid=25126] ppid=25123 vsize=15151156 memory=2120 CPUtime=0.68 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 9318 0 0 0 65 3 0 0 20 0 15 0 516770330 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131961350640 140131579232957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15151156 memory=496 CPUtime=0 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15151156 memory=1556 CPUtime=0 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15151156 memory=928 CPUtime=0 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770331 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15151156 memory=1620 CPUtime=0 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516770331 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15151156 memory=780 CPUtime=0 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15151156 memory=1444 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131423987360 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15151156 memory=1984 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131422934256 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15151156 memory=7086240636229996643 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15151156 memory=7453282923444726100 CPUtime=0.2 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) R 25123 25123 24889 0 -1 4202560 915 0 0 0 20 0 0 0 20 0 15 0 516770336 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131420816000 140131934860221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15151156 memory=7007707949394126417 CPUtime=0.23 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) R 25123 25123 24889 0 -1 4202560 941 0 0 0 23 0 0 0 20 0 15 0 516770336 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131419763584 140131938632252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15151156 memory=8514726395714826909 CPUtime=0.39 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) R 25123 25123 24889 0 -1 4202560 2206 0 0 0 39 0 0 0 20 0 15 0 516770336 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131418724336 140131950209403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15151156 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15151156 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516770337 15514783744 19468 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 1.54 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 79324 KiB [startup+1.5118 s] /proc/loadavg: 1.79 1.90 1.99 7/231 25141 /proc/meminfo: memFree=25398704/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15151156 memory=205944 CPUtime=114.35 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 46843 0 0 0 11422 13 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3787789 51486 3502 1 0 3748889 0 [pid=25125/tid=25126] ppid=25123 vsize=15151156 memory=1368 CPUtime=109.54 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 15131 0 0 0 10949 5 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131961351296 140131584835042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15151156 memory=6791534058613427641 CPUtime=0.02 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15151156 memory=3053811428158493008 CPUtime=0.01 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15151156 memory=8852332865279128621 CPUtime=0.01 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 758 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15151156 memory=288289978369443031 CPUtime=0.02 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 1094 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15151156 memory=288289978369443031 CPUtime=0.01 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 1085 0 0 0 1 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15151156 memory=6155106118171126119 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131423987424 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15151156 memory=1088 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131422934272 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15151156 memory=2832 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15151156 memory=1564 CPUtime=1.98 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) S 25123 25123 24889 0 -1 1077944384 8615 0 0 0 198 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131420829936 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15151156 memory=8392 CPUtime=2 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) S 25123 25123 24889 0 -1 1077944384 9634 0 0 0 199 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131419777392 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15151156 memory=14008 CPUtime=0.64 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) S 25123 25123 24889 0 -1 1077944384 7320 0 0 0 63 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131418724336 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15151156 memory=33488 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15151156 memory=14068 CPUtime=0.01 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 507 0 0 0 0 1 0 0 20 0 15 0 516770337 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 114.35 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 207396 KiB [startup+110.401 s] /proc/loadavg: 1.93 1.91 1.99 3/229 25148 /proc/meminfo: memFree=25143376/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15151156 memory=205944 CPUtime=115.15 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 46843 0 0 0 11502 13 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3787789 51486 3502 1 0 3748889 0 [pid=25125/tid=25126] ppid=25123 vsize=15151156 memory=3608 CPUtime=110.34 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 15131 0 0 0 11029 5 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131961351296 140131586142712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15151156 memory=64168 CPUtime=0.02 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15151156 memory=205944 CPUtime=0.01 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15151156 memory=1452 CPUtime=0.01 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 758 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15151156 memory=205944 CPUtime=0.02 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 1094 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 1085 0 0 0 1 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15151156 memory=1452 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131423987424 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15151156 memory=213148 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131422934272 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15151156 memory=1452 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15151156 memory=1452 CPUtime=1.98 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) S 25123 25123 24889 0 -1 1077944384 8615 0 0 0 198 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131420829936 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15151156 memory=213152 CPUtime=2 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) S 25123 25123 24889 0 -1 1077944384 9634 0 0 0 199 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131419777392 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15151156 memory=3516 CPUtime=0.64 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) S 25123 25123 24889 0 -1 1077944384 7320 0 0 0 63 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131418724336 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15151156 memory=1056 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15151156 memory=772 CPUtime=0.01 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 507 0 0 0 0 1 0 0 20 0 15 0 516770337 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 115.15 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 207396 KiB [startup+110.801 s] /proc/loadavg: 1.93 1.91 1.99 3/229 25148 /proc/meminfo: memFree=25143376/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15151156 memory=205944 CPUtime=115.55 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 46843 0 0 0 11542 13 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3787789 51486 3502 1 0 3748889 0 [pid=25125/tid=25126] ppid=25123 vsize=15151156 memory=205944 CPUtime=110.74 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 15131 0 0 0 11069 5 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131961351296 140131584175963 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15151156 memory=1556 CPUtime=0.02 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15151156 memory=928 CPUtime=0.01 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 758 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15151156 memory=1056 CPUtime=0.02 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 1094 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15151156 memory=772 CPUtime=0.01 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 1085 0 0 0 1 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15151156 memory=1452 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131423987424 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15151156 memory=205944 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131422934272 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15151156 memory=1556 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15151156 memory=928 CPUtime=1.98 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) S 25123 25123 24889 0 -1 1077944384 8615 0 0 0 198 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131420829936 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15151156 memory=1620 CPUtime=2 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) S 25123 25123 24889 0 -1 1077944384 9634 0 0 0 199 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131419777392 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15151156 memory=780 CPUtime=0.64 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) S 25123 25123 24889 0 -1 1077944384 7320 0 0 0 63 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131418724336 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15151156 memory=1444 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15151156 memory=288230574492221466 CPUtime=0.01 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 507 0 0 0 0 1 0 0 20 0 15 0 516770337 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 115.55 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 207396 KiB [startup+110.901 s] /proc/loadavg: 1.93 1.91 1.99 3/229 25148 /proc/meminfo: memFree=25143376/32770688 swapFree=67001280/67108860 [pid=25123] ppid=25120 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/25123/stat : 25123 (xcsp3-exec) S 25120 25123 24889 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516770330 115843072 363 33554432000 4194304 5098028 140728848242224 140728848240328 140398270169724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23363584 140728848249722 140728848249965 140728848249965 140728848252874 0 /proc/25123/statm: 28282 363 304 221 0 87 0 [pid=25125] ppid=25123 vsize=15151156 memory=205944 CPUtime=115.65 cores=4-7 /proc/25125/stat : 25125 (java) S 25123 25123 24889 0 -1 1077944320 46843 0 0 0 11552 13 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140726248445968 140131957112567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 /proc/25125/statm: 3787789 51486 3502 1 0 3748889 0 [pid=25125/tid=25126] ppid=25123 vsize=15151156 memory=205944 CPUtime=110.84 cores=4-7 /proc/25125/task/25126/stat : 25126 (java) R 25123 25123 24889 0 -1 4202560 15131 0 0 0 11079 5 0 0 20 0 15 0 516770330 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131961351296 140131583942659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25127] ppid=25123 vsize=15151156 memory=1452 CPUtime=0.02 cores=4-7 /proc/25125/task/25127/stat : 25127 (java) S 25123 25123 24889 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131909732880 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25128] ppid=25123 vsize=15151156 memory=3608 CPUtime=0.01 cores=4-7 /proc/25125/task/25128/stat : 25128 (java) S 25123 25123 24889 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131908680336 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25129] ppid=25123 vsize=15151156 memory=1452 CPUtime=0.01 cores=4-7 /proc/25125/task/25129/stat : 25129 (java) S 25123 25123 24889 0 -1 1077944384 758 0 0 0 1 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131907627280 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25130] ppid=25123 vsize=15151156 memory=3608 CPUtime=0.02 cores=4-7 /proc/25125/task/25130/stat : 25130 (java) S 25123 25123 24889 0 -1 1077944384 1094 0 0 0 2 0 0 0 20 0 15 0 516770331 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131906574736 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25131] ppid=25123 vsize=15151156 memory=64168 CPUtime=0.01 cores=4-7 /proc/25125/task/25131/stat : 25131 (java) S 25123 25123 24889 0 -1 1077944384 1085 0 0 0 1 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131425041136 140131957123714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25132] ppid=25123 vsize=15151156 memory=1 CPUtime=0 cores=4-7 /proc/25125/task/25132/stat : 25132 (java) S 25123 25123 24889 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131423987424 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25133] ppid=25123 vsize=15151156 memory=1 CPUtime=0 cores=4-7 /proc/25125/task/25133/stat : 25133 (java) S 25123 25123 24889 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516770333 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131422934272 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25134] ppid=25123 vsize=15151156 memory=1452 CPUtime=0 cores=4-7 /proc/25125/task/25134/stat : 25134 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131421882832 140131957131163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25135] ppid=25123 vsize=15151156 memory=205944 CPUtime=1.98 cores=4-7 /proc/25125/task/25135/stat : 25135 (java) S 25123 25123 24889 0 -1 1077944384 8615 0 0 0 198 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131420829936 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25136] ppid=25123 vsize=15151156 memory=0 CPUtime=2 cores=4-7 /proc/25125/task/25136/stat : 25136 (java) S 25123 25123 24889 0 -1 1077944384 9634 0 0 0 199 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131419777392 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25137] ppid=25123 vsize=15151156 memory=8389687274617516850 CPUtime=0.64 cores=4-7 /proc/25125/task/25137/stat : 25137 (java) S 25123 25123 24889 0 -1 1077944384 7320 0 0 0 63 1 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131418724336 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25138] ppid=25123 vsize=15151156 memory=0 CPUtime=0 cores=4-7 /proc/25125/task/25138/stat : 25138 (java) S 25123 25123 24889 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516770336 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131417672032 140131957122773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 [pid=25125/tid=25139] ppid=25123 vsize=15151156 memory=1 CPUtime=0.01 cores=4-7 /proc/25125/task/25139/stat : 25139 (java) S 25123 25123 24889 0 -1 1077944384 507 0 0 0 0 1 0 0 20 0 15 0 516770337 15514783744 51486 33554432000 4194304 4196468 140726248463424 140131416620080 140131957123714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140726248465391 140726248465562 140726248465562 140726248468431 0 Current children cumulated CPU time: 115.65 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 207396 KiB Child status: 0 Real time (s): 110.957 CPU time (s): 115.71 CPU user time (s): 115.574 CPU system time (s): 0.136374 CPU usage (%): 104.284 Max. virtual memory (cumulated for all children) (KiB): 15264284 Max. memory (cumulated for all children) (KiB): 214604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 115.574 system time used= 0.136374 maximum resident set size= 213152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48093 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5186 involuntary context switches= 95 # summary of solver processes directly reported to runsolver: # pid: 25123 # total CPU time (s): 115.71 # total CPU user time (s): 115.574 # total CPU system time (s): 0.136374 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.770443 second user time and 1.13127 second system time The end
Begin job on node116 at 2019-09-25 12:44:06 IDJOB=4406130 IDBENCH=133279 IDSOLVER=2869 FILE ID=node116/4406130-1569408287 RUNJOBID= node116-1569408230-24921 PBS_JOBID= 21705707 Free space on /tmp= 6524 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-5.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406130-1569408287/watcher-4406130-1569408287 -o /tmp/evaluation-result-4406130-1569408287/solver-4406130-1569408287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569408230-24921 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2000676883 HOME/instance-4406130-1569408287.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 36a1aa2a38358c951443c34d8d302d49 RANDOM SEED=2000676883 node116.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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 25481112 kB MemAvailable: 31777604 kB Buffers: 123376 kB Cached: 6305984 kB SwapCached: 3304 kB Active: 3274636 kB Inactive: 3227780 kB Active(anon): 72664 kB Inactive(anon): 56664 kB Active(file): 3201972 kB Inactive(file): 3171116 kB Unevictable: 109488 kB Mlocked: 109488 kB SwapTotal: 67108860 kB SwapFree: 67001280 kB Dirty: 52436 kB Writeback: 0 kB AnonPages: 192952 kB Mapped: 69992 kB Shmem: 47784 kB Slab: 382096 kB SReclaimable: 351864 kB SUnreclaim: 30232 kB KernelStack: 4016 kB PageTables: 5736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1518812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6500 MiB End job on node116 at 2019-09-25 12:45:57