Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | OPT | 943 | 99.9501 | 94.8124 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-3.xml |
MD5SUM | 5e375f515acf7f26619053bdd8bbc393 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 943 |
Best CPU time to get the best result obtained on this benchmark | 57.1424 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 57 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":8},{"size":30,"count":51}] |
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-4406435-1569399965.xml" -tl '2400s' -p 1 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4406435-1569399965.xml, -tl, 2400s, -p, 1] 0.34/0.24 c simple solver 0.34/0.31 c parse instance... 1.26/0.66 c solve instance... 2.84/1.18 o 156 2.84/1.19 o 163 3.13/1.21 o 194 3.13/1.24 o 370 3.13/1.26 o 497 3.13/1.28 o 508 3.44/1.34 o 550 4.04/1.59 o 575 4.35/1.63 o 681 4.35/1.63 o 753 4.95/1.86 o 813 9.04/4.89 o 820 26.70/22.09 o 837 43.39/38.42 o 888 58.94/53.92 o 897 61.45/56.47 o 943 99.93/94.80 s OPTIMUM FOUND 99.93/94.80 v <instantiation> 99.93/94.80 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> 99.93/94.80 v <values>27 0 2 13 4 5 22 7 8 9 10 11 12 21 14 15 19 17 3 18 1 6 26 28 24 25 29 16 20 23 178 0 0 28 0 0 42 0 0 0 0 0 0 77 0 0 137 0 63 161 67 99 337 19 0 0 44 181 216 265 0 0 0 81 0 0 49 0 0 0 0 0 0 14 0 0 76 0 86 99 11 92 85 95 0 0 57 59 46 93 </values> 99.93/94.80 v </instantiation>
OK 943
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 (15413 MiB free) memory of node 1: 16384 MiB (9359 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406435-1569399965/watcher-4406435-1569399965 -o /tmp/evaluation-result-4406435-1569399965/solver-4406435-1569399965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569396628-22039 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406435-1569399965.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB solver pid=23030, runsolver pid=23027 [startup+0.100093 s]* /proc/loadavg: 2.31 2.07 1.91 3/231 23046 /proc/meminfo: memFree=25350716/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15144776 memory=29632 CPUtime=0.12 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 5797 0 0 0 11 1 0 0 20 0 15 0 515938080 15508250624 7408 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3786194 7408 3152 1 0 3748377 0 [pid=23032/tid=23033] ppid=23030 vsize=15144776 memory=8036256212623698507 CPUtime=0.09 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 4202560 3716 0 0 0 8 1 0 0 20 0 15 0 515938081 15508250624 7408 33554432000 4194304 4196468 140728961916896 140276137289432 140276133080470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 7408 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15144776 memory=139752937191040 CPUtime=0 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 7408 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 7408 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 7408 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15144776 memory=139752937191040 CPUtime=0 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938083 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515938084 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275600602144 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515938084 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275599549296 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) S 23030 23030 22008 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275597446000 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) R 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275596393200 140276133079682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15144776 memory=139752937191040 CPUtime=0.01 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) R 23030 23030 22008 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 15 0 515938087 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275595340400 140276112986048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15144776 memory=139752937191040 CPUtime=0 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 7408 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 31084 KiB [startup+0.212271 s]* /proc/loadavg: 2.31 2.07 1.91 3/231 23046 /proc/meminfo: memFree=25337416/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15144776 memory=39976 CPUtime=0.34 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 9232 0 0 0 31 3 0 0 20 0 15 0 515938080 15508250624 9994 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3786194 9994 3267 1 0 3748377 0 [pid=23032/tid=23033] ppid=23030 vsize=15144776 memory=7883960649037381690 CPUtime=0.21 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 4202560 6529 0 0 0 18 3 0 0 20 0 15 0 515938081 15508250624 9994 33554432000 4194304 4196468 140728961916896 140276137302224 140276133080470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15144776 memory=9642 CPUtime=0 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 9994 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15144776 memory=3833460699968067384 CPUtime=0 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 9994 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 9994 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15508250624 9994 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938083 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515938084 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275600602144 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15144776 memory=139752937191040 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515938084 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275599549296 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15144776 memory=0 CPUtime=0.02 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) S 23030 23030 22008 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 515938087 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275597446000 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15144776 memory=-1 CPUtime=0.03 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) S 23030 23030 22008 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 15 0 515938087 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275596393200 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15144776 memory=0 CPUtime=0.08 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) R 23030 23030 22008 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 15 0 515938087 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275595340400 140276111773247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938087 15508250624 9994 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41428 KiB [startup+0.31162 s]* /proc/loadavg: 2.31 2.07 1.91 3/231 23046 /proc/meminfo: memFree=25333060/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15149032 memory=46368 CPUtime=0.53 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 10407 0 0 0 48 5 0 0 20 0 15 0 515938080 15512608768 11592 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3787258 11592 3335 1 0 3748377 0 [pid=23032/tid=23033] ppid=23030 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 4202560 7534 0 0 0 26 4 0 0 20 0 15 0 515938081 15512608768 11592 33554432000 4194304 4196468 140728961916896 140276137290048 140276114442304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15512608768 11592 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15149032 memory=3545802065567831833 CPUtime=0 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15512608768 11592 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938082 15512608768 11592 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15512608768 11592 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15149032 memory=139752937191040 CPUtime=0 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515938083 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515938084 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275600602144 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515938084 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275599549296 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15149032 memory=0 CPUtime=0.03 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) S 23030 23030 22008 0 -1 1077944384 521 0 0 0 3 0 0 0 20 0 15 0 515938087 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275597446000 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15149032 memory=-1 CPUtime=0.04 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) S 23030 23030 22008 0 -1 1077944384 150 0 0 0 4 0 0 0 20 0 15 0 515938087 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275596393200 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15149032 memory=139752937191040 CPUtime=0.13 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) S 23030 23030 22008 0 -1 1077944384 898 0 0 0 13 0 0 0 20 0 15 0 515938087 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275595340400 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15149032 memory=139752937191040 CPUtime=0 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938087 15512608768 11592 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 47820 KiB [startup+0.703162 s] /proc/loadavg: 2.31 2.07 1.91 6/231 23046 /proc/meminfo: memFree=25321808/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15151156 memory=76072 CPUtime=1.51 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 14242 0 0 0 145 6 0 0 20 0 15 0 515938080 15514783744 19018 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3787789 19018 3450 1 0 3748889 0 [pid=23032/tid=23033] ppid=23030 vsize=15151156 memory=2120 CPUtime=0.68 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 1077944384 9361 0 0 0 63 5 0 0 20 0 15 0 515938081 15514783744 19018 33554432000 4194304 4196468 140728961916896 140276137305776 140276133078741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15151156 memory=496 CPUtime=0 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15514783744 19018 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15151156 memory=1556 CPUtime=0 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15514783744 19018 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15151156 memory=928 CPUtime=0 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938082 15514783744 19018 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15151156 memory=1620 CPUtime=0 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515938082 15514783744 19018 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15151156 memory=780 CPUtime=0 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515938083 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15151156 memory=1444 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275600602144 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15151156 memory=1984 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275599549296 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15151156 memory=2524 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15151156 memory=7302135314614015844 CPUtime=0.18 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) R 23030 23030 22008 0 -1 4202560 989 0 0 0 18 0 0 0 20 0 15 0 515938087 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275597436112 140276114589710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15151156 memory=7883384496092373328 CPUtime=0.22 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) R 23030 23030 22008 0 -1 4202560 656 0 0 0 22 0 0 0 20 0 15 0 515938087 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275596383312 140276116954737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15151156 memory=7368002589315584080 CPUtime=0.4 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) R 23030 23030 22008 0 -1 4202560 1929 0 0 0 40 0 0 0 20 0 15 0 515938087 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275595336352 140276114478543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15151156 memory=7079772213163872336 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15151156 memory=7164214801036830806 CPUtime=0 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 19018 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 1.51 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 77524 KiB [startup+1.50086 s] /proc/loadavg: 2.44 2.10 1.92 5/231 23046 /proc/meminfo: memFree=25294312/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15151156 memory=209608 CPUtime=97.92 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 46304 0 0 0 9778 14 0 0 20 0 15 0 515938080 15514783744 52402 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3787789 52402 3500 1 0 3748889 0 [pid=23032/tid=23033] ppid=23030 vsize=15151156 memory=9243 CPUtime=92.73 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 4202560 14487 0 0 0 9267 6 0 0 20 0 15 0 515938081 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276137307248 140275734416348 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 1015 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15151156 memory=1056 CPUtime=0.01 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 1524 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15151156 memory=772 CPUtime=0.01 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15151156 memory=1696 CPUtime=0.01 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15151156 memory=1228 CPUtime=0.01 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 824 0 0 0 1 0 0 0 20 0 15 0 515938083 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15151156 memory=1984 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275600602208 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15151156 memory=2524 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275599549312 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15151156 memory=1760 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15151156 memory=111636 CPUtime=2.13 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) S 23030 23030 22008 0 -1 1077944384 9166 0 0 0 212 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275597446000 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15151156 memory=800 CPUtime=2.22 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) S 23030 23030 22008 0 -1 1077944384 9951 0 0 0 221 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275596393200 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15151156 memory=1804 CPUtime=0.67 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) S 23030 23030 22008 0 -1 1077944384 6908 0 0 0 66 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275595340400 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15151156 memory=1 CPUtime=0.02 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 499 0 0 0 1 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 97.92 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 211060 KiB [startup+93.6007 s] /proc/loadavg: 2.02 2.05 1.92 3/231 23053 /proc/meminfo: memFree=25169636/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15151156 memory=209608 CPUtime=98.72 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 46306 0 0 0 9858 14 0 0 20 0 15 0 515938080 15514783744 52402 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3787789 52402 3500 1 0 3748889 0 [pid=23032/tid=23033] ppid=23030 vsize=15151156 memory=6791534058613427641 CPUtime=93.53 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 4202560 14487 0 0 0 9347 6 0 0 20 0 15 0 515938081 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276137307248 140275733855570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15151156 memory=63960 CPUtime=0.01 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 1015 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15151156 memory=984 CPUtime=0.01 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 1524 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15151156 memory=2044 CPUtime=0.01 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15151156 memory=1368 CPUtime=0.01 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52402 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15151156 memory=1056 CPUtime=0.01 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 824 0 0 0 1 0 0 0 20 0 15 0 515938083 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15151156 memory=772 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275600602208 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15151156 memory=1696 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275599549312 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15151156 memory=1228 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15151156 memory=6124 CPUtime=2.13 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) S 23030 23030 22008 0 -1 1077944384 9166 0 0 0 212 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275597446000 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15151156 memory=780 CPUtime=2.22 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) S 23030 23030 22008 0 -1 1077944384 9951 0 0 0 221 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275596393200 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15151156 memory=3516 CPUtime=0.67 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) S 23030 23030 22008 0 -1 1077944384 6908 0 0 0 66 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275595340400 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15151156 memory=1088 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15151156 memory=2832 CPUtime=0.02 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 501 0 0 0 1 1 0 0 20 0 15 0 515938087 15514783744 52402 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 98.72 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 211060 KiB [startup+94.4007 s] /proc/loadavg: 2.02 2.05 1.92 3/231 23053 /proc/meminfo: memFree=25169636/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15151156 memory=209616 CPUtime=99.53 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 46938 0 0 0 9939 14 0 0 20 0 15 0 515938080 15514783744 52404 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3787789 52404 3500 1 0 3748889 0 [pid=23032/tid=23033] ppid=23030 vsize=15151156 memory=7164773348647456866 CPUtime=94.33 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 4202560 14554 0 0 0 9427 6 0 0 20 0 15 0 515938081 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276137307248 140275735103877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15151156 memory=7378674445183314279 CPUtime=0.01 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 1015 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15151156 memory=1412 CPUtime=0.01 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 1524 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15151156 memory=3232 CPUtime=0.01 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15151156 memory=1448 CPUtime=0.01 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15151156 memory=243140 CPUtime=0.01 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 824 0 0 0 1 0 0 0 20 0 15 0 515938083 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15151156 memory=1412 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275600602208 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15151156 memory=3000 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275599549312 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15151156 memory=1452 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15151156 memory=63960 CPUtime=2.13 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) S 23030 23030 22008 0 -1 1077944384 9718 0 0 0 212 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275597446000 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15151156 memory=984 CPUtime=2.22 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) S 23030 23030 22008 0 -1 1077944384 9951 0 0 0 221 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275596393200 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15151156 memory=2044 CPUtime=0.67 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) S 23030 23030 22008 0 -1 1077944384 6908 0 0 0 66 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275595340400 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15151156 memory=1368 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15151156 memory=1056 CPUtime=0.02 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 514 0 0 0 1 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 99.53 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 211068 KiB [startup+94.8008 s] /proc/loadavg: 2.02 2.05 1.92 3/231 23053 /proc/meminfo: memFree=25169636/32770688 swapFree=67001280/67108860 [pid=23030] ppid=23027 vsize=113128 memory=1452 CPUtime=0 cores=0-3 /proc/23030/stat : 23030 (xcsp3-exec) S 23027 23030 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515938080 115843072 363 33554432000 4194304 5098028 140721435317792 140721435315896 140468818653820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13434880 140721435321210 140721435321453 140721435321453 140721435324362 0 /proc/23030/statm: 28282 363 304 221 0 87 0 [pid=23032] ppid=23030 vsize=15151156 memory=209616 CPUtime=99.93 cores=0-3 /proc/23032/stat : 23032 (java) S 23030 23030 22008 0 -1 1077944320 46941 0 0 0 9979 14 0 0 20 0 15 0 515938080 15514783744 52404 33554432000 4194304 4196468 140728961916896 140728961899440 140276133068535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 /proc/23032/statm: 3787789 52404 3500 1 0 3748889 0 [pid=23032/tid=23033] ppid=23030 vsize=15151156 memory=1556 CPUtime=94.73 cores=0-3 /proc/23032/task/23033/stat : 23033 (java) R 23030 23030 22008 0 -1 4202560 14557 0 0 0 9467 6 0 0 20 0 15 0 515938081 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276137307248 140275734602579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23034] ppid=23030 vsize=15151156 memory=928 CPUtime=0.01 cores=0-3 /proc/23032/task/23034/stat : 23034 (java) S 23030 23030 22008 0 -1 1077944384 1015 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276061109392 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23035] ppid=23030 vsize=15151156 memory=33360 CPUtime=0.01 cores=0-3 /proc/23032/task/23035/stat : 23035 (java) S 23030 23030 22008 0 -1 1077944384 1524 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276060056592 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23036] ppid=23030 vsize=15151156 memory=14068 CPUtime=0.01 cores=0-3 /proc/23032/task/23036/stat : 23036 (java) S 23030 23030 22008 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276059003792 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23037] ppid=23030 vsize=15151156 memory=2120 CPUtime=0.01 cores=0-3 /proc/23032/task/23037/stat : 23037 (java) S 23030 23030 22008 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 515938082 15514783744 52404 33554432000 4194304 4196468 140728961916896 140276057950992 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23038] ppid=23030 vsize=15151156 memory=496 CPUtime=0.01 cores=0-3 /proc/23032/task/23038/stat : 23038 (java) S 23030 23030 22008 0 -1 1077944384 824 0 0 0 1 0 0 0 20 0 15 0 515938083 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275601656176 140276133079682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23039] ppid=23030 vsize=15151156 memory=1556 CPUtime=0 cores=0-3 /proc/23032/task/23039/stat : 23039 (java) S 23030 23030 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275600602208 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23040] ppid=23030 vsize=15151156 memory=928 CPUtime=0 cores=0-3 /proc/23032/task/23040/stat : 23040 (java) S 23030 23030 22008 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 515938084 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275599549312 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23041] ppid=23030 vsize=15151156 memory=1620 CPUtime=0 cores=0-3 /proc/23032/task/23041/stat : 23041 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275598497616 140276133087131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23042] ppid=23030 vsize=15151156 memory=780 CPUtime=2.13 cores=0-3 /proc/23032/task/23042/stat : 23042 (java) S 23030 23030 22008 0 -1 1077944384 9718 0 0 0 212 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275597446000 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23043] ppid=23030 vsize=15151156 memory=1444 CPUtime=2.22 cores=0-3 /proc/23032/task/23043/stat : 23043 (java) S 23030 23030 22008 0 -1 1077944384 9951 0 0 0 221 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275596393200 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23044] ppid=23030 vsize=15151156 memory=1984 CPUtime=0.67 cores=0-3 /proc/23032/task/23044/stat : 23044 (java) S 23030 23030 22008 0 -1 1077944384 6908 0 0 0 66 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275595340400 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23045] ppid=23030 vsize=15151156 memory=2524 CPUtime=0 cores=0-3 /proc/23032/task/23045/stat : 23045 (java) S 23030 23030 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275594287840 140276133078741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 [pid=23032/tid=23046] ppid=23030 vsize=15151156 memory=1760 CPUtime=0.02 cores=0-3 /proc/23032/task/23046/stat : 23046 (java) S 23030 23030 22008 0 -1 1077944384 514 0 0 0 1 1 0 0 20 0 15 0 515938087 15514783744 52404 33554432000 4194304 4196468 140728961916896 140275593235120 140276133079682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 15237120 140728961917935 140728961918106 140728961918106 140728961920975 0 Current children cumulated CPU time: 99.93 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 211068 KiB Child status: 0 Real time (s): 94.8124 CPU time (s): 99.9501 CPU user time (s): 99.8019 CPU system time (s): 0.148151 CPU usage (%): 105.419 Max. virtual memory (cumulated for all children) (KiB): 15265308 Max. memory (cumulated for all children) (KiB): 218236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 99.802 system time used= 0.148151 maximum resident set size= 216816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48138 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= 4804 involuntary context switches= 114 # summary of solver processes directly reported to runsolver: # pid: 23030 # total CPU time (s): 99.9501 # total CPU user time (s): 99.8019 # total CPU system time (s): 0.148151 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.620688 second user time and 1.00619 second system time The end
Begin job on node116 at 2019-09-25 10:25:23 IDJOB=4406435 IDBENCH=133277 IDSOLVER=2870 FILE ID=node116/4406435-1569399965 RUNJOBID= node116-1569396628-22039 PBS_JOBID= 21705695 Free space on /tmp= 6524 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-3.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-4406435-1569399965/watcher-4406435-1569399965 -o /tmp/evaluation-result-4406435-1569399965/solver-4406435-1569399965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569396628-22039 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406435-1569399965.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5e375f515acf7f26619053bdd8bbc393 RANDOM SEED=1898939242 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: 25367904 kB MemAvailable: 31615256 kB Buffers: 117276 kB Cached: 6302456 kB SwapCached: 3304 kB Active: 3437044 kB Inactive: 3218760 kB Active(anon): 235808 kB Inactive(anon): 56664 kB Active(file): 3201236 kB Inactive(file): 3162096 kB Unevictable: 109488 kB Mlocked: 109488 kB SwapTotal: 67108860 kB SwapFree: 67001280 kB Dirty: 26404 kB Writeback: 0 kB AnonPages: 343800 kB Mapped: 70596 kB Shmem: 47784 kB Slab: 342244 kB SReclaimable: 312480 kB SUnreclaim: 29764 kB KernelStack: 3744 kB PageTables: 6464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1654536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 284672 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 10:26:58