Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 147 | 13.3538 | 3.01035 |
Name | Tpp/Tpp-zinc-s1/ Tpp-7-3-30-1.xml |
MD5SUM | 0f4bef4b37e838bc5603a3a9d9caf103 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 147 |
Best CPU time to get the best result obtained on this benchmark | 0.35928 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 102 |
Number of constraints | 683 |
Number of domains | 53 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":4},{"size":4,"count":13},{"size":5,"count":3},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":4},{"size":12,"count":9},{"size":13,"count":8},{"size":14,"count":3},{"size":15,"count":3},{"size":16,"count":1},{"size":20,"count":30},{"size":21,"count":21}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":51},{"degree":22,"count":30},{"degree":32,"count":20},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":681},{"arity":21,"count":1}] |
Number of extensional constraints | 51 |
Number of intensional constraints | 631 |
Distribution of constraint types | [{"type":"extension","count":51},{"type":"intension","count":631},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407369-1569347249.xml" -tl '2016s' -p 8 0.10/0.19 c Choco e747e1e 0.10/0.19 c [HOME/instance-4407369-1569347249.xml, -tl, 2016s, -p, 8] 0.32/0.23 c 8 solvers in parallel 0.32/0.30 c parse instance... 6.81/2.04 c solve instance... 8.03/2.28 o 256 8.03/2.30 o 235 8.74/2.31 o 216 8.74/2.38 o 215 8.74/2.39 o 214 9.41/2.41 o 212 9.41/2.41 o 211 9.41/2.41 o 210 9.41/2.42 o 200 9.41/2.42 o 186 9.41/2.43 o 185 9.41/2.43 o 181 9.41/2.43 o 177 9.41/2.44 o 171 9.41/2.45 o 170 9.41/2.47 o 169 9.41/2.48 o 168 9.41/2.49 o 167 9.41/2.49 o 166 9.41/2.50 o 165 9.98/2.51 o 164 9.98/2.53 o 163 9.98/2.54 o 162 9.98/2.55 o 161 9.98/2.56 o 160 9.98/2.56 o 159 9.98/2.57 o 158 10.49/2.62 o 149 11.21/2.73 o 147 12.76/2.98 s OPTIMUM FOUND 12.76/2.98 v <instantiation> 12.76/2.98 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] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] </list> 12.76/2.98 v <values>0 1 2 3 4 5 6 7 8 9 11 12 13 20 14 15 16 10 17 18 19 0 0 0 0 0 0 0 0 0 0 7 1 1 18 0 0 0 16 10 1 4 13 13 12 18 19 11 19 10 13 18 18 11 11 13 17 10 10 19 12 18 13 11 19 17 17 13 19 17 13 10 1 1 1 5 4 4 3 1 2 1 3 1 2 6 2 2 2 1 9 1 1 1 7 4 7 1 2 2 4 8 </values> 12.76/2.98 v </instantiation>
OK 147
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13554 MiB free) memory of node 1: 16384 MiB (14262 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407369-1569347249/watcher-4407369-1569347249 -o /var/tmp/evaluation-result-4407369-1569347249/solver-4407369-1569347249 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 499698120 HOME/instance-4407369-1569347249.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19091, runsolver pid=19088 Current StackSize limit: 8192 KiB [startup+0.100078 s]* /proc/loadavg: 8.22 8.27 8.12 3/211 19112 /proc/meminfo: memFree=28471304/32770624 swapFree=67023936/67108860 [pid=19091] ppid=19088 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19091/stat : 19091 (xcsp3-exec) S 19088 19091 16140 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510997430 115843072 364 33554432000 4194304 5098028 140734686943184 140734686941288 140276507308668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22974464 140734686946136 140734686946394 140734686946394 140734686949318 0 /proc/19091/statm: 28282 364 305 221 0 87 0 [pid=19093] ppid=19091 vsize=28227396 memory=27136 CPUtime=0.1 cores=0-7 /proc/19093/stat : 19093 (java) S 19091 19091 16140 0 -1 1077944320 5755 0 0 0 9 1 0 0 20 0 20 0 510997430 28904853504 6784 33554432000 4194304 4196468 140720388697632 140720388680176 140714769125111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 /proc/19093/statm: 7056849 6784 3148 1 0 7019032 0 [pid=19093/tid=19094] ppid=19091 vsize=28227396 memory=4134930498285298233 CPUtime=0.07 cores=0-7 /proc/19093/task/19094/stat : 19094 (java) R 19091 19091 16140 0 -1 4202560 3652 0 0 0 7 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714773358592 140714753205598 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19095] ppid=19091 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19093/task/19095/stat : 19095 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714320661008 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19096] ppid=19091 vsize=28227396 memory=140022889907840 CPUtime=0 cores=0-7 /proc/19093/task/19096/stat : 19096 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714319608464 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19097] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19097/stat : 19097 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714318555408 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19098] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19098/stat : 19098 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714317502864 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19099] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19099/stat : 19099 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714316450832 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19100] ppid=19091 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19093/task/19100/stat : 19100 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714315398288 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19101] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19101/stat : 19101 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714314345232 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19102] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19102/stat : 19102 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714313292688 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19103] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19103/stat : 19103 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997433 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714270140656 140714769136258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19104] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19104/stat : 19104 (java) S 19091 19091 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510997433 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714018202784 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19105] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19105/stat : 19105 (java) S 19091 19091 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510997433 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714017149680 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19106] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19106/stat : 19106 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997436 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714016098256 140714769143707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19107] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19107/stat : 19107 (java) S 19091 19091 16140 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714015046384 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19108] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19108/stat : 19108 (java) S 19091 19091 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714013993840 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19109] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19109/stat : 19109 (java) S 19091 19091 16140 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714012940784 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19110] ppid=19091 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19093/task/19110/stat : 19110 (java) R 19091 19091 16140 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 20 0 510997437 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714011888240 140714769137046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19111] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19111/stat : 19111 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714010835424 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19112] ppid=19091 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19093/task/19112/stat : 19112 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 6850 33554432000 4194304 4196468 140720388697632 140714009782960 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28592 KiB [startup+0.210357 s]* /proc/loadavg: 8.22 8.27 8.12 2/211 19112 /proc/meminfo: memFree=28456368/32770624 swapFree=67023936/67108860 [pid=19091] ppid=19088 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19091/stat : 19091 (xcsp3-exec) S 19088 19091 16140 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510997430 115843072 364 33554432000 4194304 5098028 140734686943184 140734686941288 140276507308668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22974464 140734686946136 140734686946394 140734686946394 140734686949318 0 /proc/19091/statm: 28282 364 305 221 0 87 0 [pid=19093] ppid=19091 vsize=28227396 memory=39748 CPUtime=0.32 cores=0-7 /proc/19093/stat : 19093 (java) S 19091 19091 16140 0 -1 1077944320 9697 0 0 0 29 3 0 0 20 0 20 0 510997430 28904853504 9937 33554432000 4194304 4196468 140720388697632 140720388680176 140714769125111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 /proc/19093/statm: 7056849 9937 3290 1 0 7019032 0 [pid=19093/tid=19094] ppid=19091 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19093/task/19094/stat : 19094 (java) R 19091 19091 16140 0 -1 4202560 6663 0 0 0 17 2 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714773356240 140714750535261 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19095] ppid=19091 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/19093/task/19095/stat : 19095 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714320661008 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19096] ppid=19091 vsize=28227396 memory=3978561452538660512 CPUtime=0 cores=0-7 /proc/19093/task/19096/stat : 19096 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714319608464 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19097] ppid=19091 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19093/task/19097/stat : 19097 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714318555408 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19098] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19098/stat : 19098 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714317502864 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19099] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19099/stat : 19099 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714316450832 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19100] ppid=19091 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19093/task/19100/stat : 19100 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714315398288 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19101] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19101/stat : 19101 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714314345232 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19102] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19102/stat : 19102 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997431 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714313292688 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19103] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19103/stat : 19103 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997433 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714270140656 140714769136258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19104] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19104/stat : 19104 (java) S 19091 19091 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510997433 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714018202784 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19105] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19105/stat : 19105 (java) S 19091 19091 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510997433 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714017149680 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19106] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19106/stat : 19106 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997436 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714016098256 140714769143707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19107] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19107/stat : 19107 (java) R 19091 19091 16140 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714015046384 140714754050130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19108] ppid=19091 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19093/task/19108/stat : 19108 (java) S 19091 19091 16140 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 510997437 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714013993840 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19109] ppid=19091 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/19093/task/19109/stat : 19109 (java) S 19091 19091 16140 0 -1 1077944384 670 0 0 0 1 0 0 0 20 0 20 0 510997437 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714012940784 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19110] ppid=19091 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/19093/task/19110/stat : 19110 (java) S 19091 19091 16140 0 -1 1077944384 898 0 0 0 7 0 0 0 20 0 20 0 510997437 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714011888240 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19111] ppid=19091 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19111/stat : 19111 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714010835424 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19112] ppid=19091 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19093/task/19112/stat : 19112 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997437 28904853504 9937 33554432000 4194304 4196468 140720388697632 140714009782960 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41204 KiB [startup+0.310435 s]* /proc/loadavg: 8.22 8.27 8.12 3/211 19112 /proc/meminfo: memFree=28451476/32770624 swapFree=67023936/67108860 [pid=19091] ppid=19088 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19091/stat : 19091 (xcsp3-exec) S 19088 19091 16140 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510997430 115843072 364 33554432000 4194304 5098028 140734686943184 140734686941288 140276507308668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22974464 140734686946136 140734686946394 140734686946394 140734686949318 0 /proc/19091/statm: 28282 364 305 221 0 87 0 [pid=19093] ppid=19091 vsize=28231652 memory=45940 CPUtime=0.49 cores=0-7 /proc/19093/stat : 19093 (java) S 19091 19091 16140 0 -1 1077944320 10949 0 0 0 44 5 0 0 20 0 20 0 510997430 28909211648 11485 33554432000 4194304 4196468 140720388697632 140720388680176 140714769125111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 /proc/19093/statm: 7057913 11485 3319 1 0 7019032 0 [pid=19093/tid=19094] ppid=19091 vsize=28231652 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/19093/task/19094/stat : 19094 (java) R 19091 19091 16140 0 -1 4202560 7721 0 0 0 25 3 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714773363824 140714753168741 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19095] ppid=19091 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19095/stat : 19095 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714320661008 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19096] ppid=19091 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19096/stat : 19096 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714319608464 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19097] ppid=19091 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19097/stat : 19097 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714318555408 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19098] ppid=19091 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19098/stat : 19098 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714317502864 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19099] ppid=19091 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/19093/task/19099/stat : 19099 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714316450832 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19100] ppid=19091 vsize=28231652 memory=140022779048879 CPUtime=0 cores=0-7 /proc/19093/task/19100/stat : 19100 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714315398288 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19101] ppid=19091 vsize=28231652 memory=140022779051184 CPUtime=0 cores=0-7 /proc/19093/task/19101/stat : 19101 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714314345232 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19102] ppid=19091 vsize=28231652 memory=140022779053488 CPUtime=0 cores=0-7 /proc/19093/task/19102/stat : 19102 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997431 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714313292688 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19103] ppid=19091 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19103/stat : 19103 (java) S 19091 19091 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510997433 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714270140656 140714769136258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19104] ppid=19091 vsize=28231652 memory=280045558113936 CPUtime=0 cores=0-7 /proc/19093/task/19104/stat : 19104 (java) S 19091 19091 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510997433 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714018202784 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19105] ppid=19091 vsize=28231652 memory=280045558120848 CPUtime=0 cores=0-7 /proc/19093/task/19105/stat : 19105 (java) S 19091 19091 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510997433 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714017149680 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19106] ppid=19091 vsize=28231652 memory=280045558062128 CPUtime=0 cores=0-7 /proc/19093/task/19106/stat : 19106 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997436 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714016098256 140714769143707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19107] ppid=19091 vsize=28231652 memory=280045558134672 CPUtime=0.01 cores=0-7 /proc/19093/task/19107/stat : 19107 (java) S 19091 19091 16140 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 510997437 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714015046384 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19108] ppid=19091 vsize=28231652 memory=280045558141584 CPUtime=0.02 cores=0-7 /proc/19093/task/19108/stat : 19108 (java) S 19091 19091 16140 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 510997437 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714013993840 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19109] ppid=19091 vsize=28231652 memory=280045558139280 CPUtime=0.02 cores=0-7 /proc/19093/task/19109/stat : 19109 (java) S 19091 19091 16140 0 -1 1077944384 689 0 0 0 2 0 0 0 20 0 20 0 510997437 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714012940784 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19110] ppid=19091 vsize=28231652 memory=280045558155440 CPUtime=0.12 cores=0-7 /proc/19093/task/19110/stat : 19110 (java) R 19091 19091 16140 0 -1 4202560 1046 0 0 0 12 0 0 0 20 0 20 0 510997437 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714011888240 140714747959551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19111] ppid=19091 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19111/stat : 19111 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997437 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714010835424 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19112] ppid=19091 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19093/task/19112/stat : 19112 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997437 28909211648 11485 33554432000 4194304 4196468 140720388697632 140714009782960 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47396 KiB [startup+0.701007 s] /proc/loadavg: 8.22 8.27 8.12 6/211 19112 /proc/meminfo: memFree=28431456/32770624 swapFree=67023936/67108860 [pid=19091] ppid=19088 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19091/stat : 19091 (xcsp3-exec) S 19088 19091 16140 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510997430 115843072 364 33554432000 4194304 5098028 140734686943184 140734686941288 140276507308668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22974464 140734686946136 140734686946394 140734686946394 140734686949318 0 /proc/19091/statm: 28282 364 305 221 0 87 0 [pid=19093] ppid=19091 vsize=28233776 memory=89068 CPUtime=1.82 cores=0-7 /proc/19093/stat : 19093 (java) S 19091 19091 16140 0 -1 1077944320 17028 0 0 0 174 8 0 0 20 0 20 0 510997430 28911386624 22267 33554432000 4194304 4196468 140720388697632 140720388680176 140714769125111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 /proc/19093/statm: 7058444 22267 3455 1 0 7019544 0 [pid=19093/tid=19094] ppid=19091 vsize=28233776 memory=280045558513328 CPUtime=0.67 cores=0-7 /proc/19093/task/19094/stat : 19094 (java) R 19091 19091 16140 0 -1 4202560 9251 0 0 0 62 5 0 0 20 0 20 0 510997431 28911386624 22267 33554432000 4194304 4196468 140720388697632 140714773363216 140714407554454 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19095] ppid=19091 vsize=28233776 memory=140022779257712 CPUtime=0 cores=0-7 /proc/19093/task/19095/stat : 19095 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997431 28911386624 22267 33554432000 4194304 4196468 140720388697632 140714320661008 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19096] ppid=19091 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19096/stat : 19096 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28911386624 22267 33554432000 4194304 4196468 140720388697632 140714319608464 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19097] ppid=19091 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/19093/task/19097/stat : 19097 (java) S 19091 19091 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510997431 28911386624 22292 33554432000 4194304 4196468 140720388697632 140714318555408 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 ################ # More data... # ################ [startup+1.60415 s] /proc/loadavg: 8.22 8.27 8.12 6/211 19112 /proc/meminfo: memFree=28357988/32770624 swapFree=67023936/67108860 [pid=19091] ppid=19088 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19091/stat : 19091 (xcsp3-exec) S 19088 19091 16140 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510997430 115843072 364 33554432000 4194304 5098028 140734686943184 140734686941288 140276507308668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22974464 140734686946136 140734686946394 140734686946394 140734686949318 0 /proc/19091/statm: 28282 364 305 221 0 87 0 [pid=19093] ppid=19091 vsize=28235824 memory=249920 CPUtime=5.57 cores=0-7 /proc/19093/stat : 19093 (java) S 19091 19091 16140 0 -1 1077944320 26271 0 0 0 536 21 0 0 20 0 20 0 510997430 28913483776 62480 33554432000 4194304 4196468 140720388697632 140720388680176 140714769125111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 /proc/19093/statm: 7058956 62480 3498 1 0 7020056 0 [pid=19093/tid=19094] ppid=19091 vsize=28235824 memory=6944656592455359580 CPUtime=1.53 cores=0-7 /proc/19093/task/19094/stat : 19094 (java) S 19091 19091 16140 0 -1 1077944384 9979 0 0 0 147 6 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714773362528 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19095] ppid=19091 vsize=28235824 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/19093/task/19095/stat : 19095 (java) R 19091 19091 16140 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714320661008 140714748849356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19096] ppid=19091 vsize=28235824 memory=1456 CPUtime=0.02 cores=0-7 /proc/19093/task/19096/stat : 19096 (java) R 19091 19091 16140 0 -1 4202560 77 0 0 0 1 1 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714319608664 140714762221584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19097] ppid=19091 vsize=28235824 memory=3648 CPUtime=0.03 cores=0-7 /proc/19093/task/19097/stat : 19097 (java) R 19091 19091 16140 0 -1 4202560 71 0 0 0 2 1 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714318555608 140714762221584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19098] ppid=19091 vsize=28235824 memory=52216 CPUtime=0.02 cores=0-7 /proc/19093/task/19098/stat : 19098 (java) R 19091 19091 16140 0 -1 4202560 72 0 0 0 1 1 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714317503064 140714762221584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19099] ppid=19091 vsize=28235824 memory=1040 CPUtime=0.02 cores=0-7 /proc/19093/task/19099/stat : 19099 (java) R 19091 19091 16140 0 -1 4202560 76 0 0 0 1 1 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714316450832 140714754149161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19100] ppid=19091 vsize=28235824 memory=2084 CPUtime=0.02 cores=0-7 /proc/19093/task/19100/stat : 19100 (java) R 19091 19091 16140 0 -1 4202560 65 0 0 0 1 1 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714315398176 140714754148814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19101] ppid=19091 vsize=28235824 memory=1480 CPUtime=0.02 cores=0-7 /proc/19093/task/19101/stat : 19101 (java) R 19091 19091 16140 0 -1 4202560 133 0 0 0 1 1 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714314345432 140714754152530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19102] ppid=19091 vsize=28235824 memory=3880 CPUtime=0.01 cores=0-7 /proc/19093/task/19102/stat : 19102 (java) R 19091 19091 16140 0 -1 4202560 65 0 0 0 1 0 0 0 20 0 20 0 510997431 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714313292888 140714762221584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19103] ppid=19091 vsize=28235824 memory=7712 CPUtime=0 cores=0-7 /proc/19093/task/19103/stat : 19103 (java) S 19091 19091 16140 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 20 0 510997433 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714270139168 140714769135317 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19104] ppid=19091 vsize=28235824 memory=1760 CPUtime=0 cores=0-7 /proc/19093/task/19104/stat : 19104 (java) S 19091 19091 16140 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 510997433 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714018202784 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19105] ppid=19091 vsize=28235824 memory=1172 CPUtime=0 cores=0-7 /proc/19093/task/19105/stat : 19105 (java) S 19091 19091 16140 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 510997433 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714017149680 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19106] ppid=19091 vsize=28235824 memory=6308 CPUtime=0 cores=0-7 /proc/19093/task/19106/stat : 19106 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510997436 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714016098256 140714769143707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19107] ppid=19091 vsize=28235824 memory=164 CPUtime=1.06 cores=0-7 /proc/19093/task/19107/stat : 19107 (java) S 19091 19091 16140 0 -1 1077944384 3189 0 0 0 105 1 0 0 20 0 20 0 510997437 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714015037664 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19108] ppid=19091 vsize=28235824 memory=-9001734013606258791 CPUtime=1.06 cores=0-7 /proc/19093/task/19108/stat : 19108 (java) S 19091 19091 16140 0 -1 1077944384 3954 0 0 0 104 2 0 0 20 0 20 0 510997437 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714013978832 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19109] ppid=19091 vsize=28235824 memory=-7384994778349281184 CPUtime=1.04 cores=0-7 /proc/19093/task/19109/stat : 19109 (java) S 19091 19091 16140 0 -1 1077944384 3718 0 0 0 103 1 0 0 20 0 20 0 510997437 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714012930976 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19110] ppid=19091 vsize=28235824 memory=6944656592455360569 CPUtime=0.62 cores=0-7 /proc/19093/task/19110/stat : 19110 (java) S 19091 19091 16140 0 -1 1077944384 3404 0 0 0 61 1 0 0 20 0 20 0 510997437 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714011888240 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19111] ppid=19091 vsize=28235824 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/19093/task/19111/stat : 19111 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997437 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714010835424 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19112] ppid=19091 vsize=28235824 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/19093/task/19112/stat : 19112 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510997437 28913483776 62480 33554432000 4194304 4196468 140720388697632 140714009782960 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 Current children cumulated CPU time: 5.57 s Current children cumulated vsize: 28348952 KiB Current children cumulated memory: 251376 KiB [startup+2.40212 s] /proc/loadavg: 8.22 8.27 8.12 2/211 19112 /proc/meminfo: memFree=28212404/32770624 swapFree=67023936/67108860 [pid=19091] ppid=19088 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19091/stat : 19091 (xcsp3-exec) S 19088 19091 16140 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510997430 115843072 364 33554432000 4194304 5098028 140734686943184 140734686941288 140276507308668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22974464 140734686946136 140734686946394 140734686946394 140734686949318 0 /proc/19091/statm: 28282 364 305 221 0 87 0 [pid=19093] ppid=19091 vsize=28769364 memory=441504 CPUtime=9.41 cores=0-7 /proc/19093/stat : 19093 (java) S 19091 19091 16140 0 -1 1077944320 30448 0 0 0 906 35 0 0 20 0 28 0 510997430 29459828736 110376 33554432000 4194304 4196468 140720388697632 140720388680176 140714769125111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 /proc/19093/statm: 7192341 110376 3512 1 0 7153441 0 [pid=19093/tid=19094] ppid=19091 vsize=28769364 memory=0 CPUtime=1.95 cores=0-7 /proc/19093/task/19094/stat : 19094 (java) S 19091 19091 16140 0 -1 1077944384 10149 0 0 0 188 7 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714773365888 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19095] ppid=19091 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/19093/task/19095/stat : 19095 (java) S 19091 19091 16140 0 -1 1077944384 63 0 0 0 7 1 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714320661008 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19096] ppid=19091 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/19093/task/19096/stat : 19096 (java) S 19091 19091 16140 0 -1 1077944384 112 0 0 0 7 2 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714319608464 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19097] ppid=19091 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7 /proc/19093/task/19097/stat : 19097 (java) S 19091 19091 16140 0 -1 1077944384 124 0 0 0 8 2 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714318555408 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19098] ppid=19091 vsize=28769364 memory=133 CPUtime=0.1 cores=0-7 /proc/19093/task/19098/stat : 19098 (java) S 19091 19091 16140 0 -1 1077944384 118 0 0 0 8 2 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714317502864 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19099] ppid=19091 vsize=28769364 memory=133 CPUtime=0.1 cores=0-7 /proc/19093/task/19099/stat : 19099 (java) S 19091 19091 16140 0 -1 1077944384 121 0 0 0 8 2 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714316450832 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19100] ppid=19091 vsize=28769364 memory=134 CPUtime=0.09 cores=0-7 /proc/19093/task/19100/stat : 19100 (java) S 19091 19091 16140 0 -1 1077944384 101 0 0 0 7 2 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714315398288 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19101] ppid=19091 vsize=28769364 memory=69 CPUtime=0.09 cores=0-7 /proc/19093/task/19101/stat : 19101 (java) S 19091 19091 16140 0 -1 1077944384 167 0 0 0 7 2 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714314345232 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19102] ppid=19091 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7 /proc/19093/task/19102/stat : 19102 (java) S 19091 19091 16140 0 -1 1077944384 113 0 0 0 8 2 0 0 20 0 28 0 510997431 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714313292688 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19103] ppid=19091 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19103/stat : 19103 (java) S 19091 19091 16140 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 28 0 510997433 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714270140656 140714769136258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19104] ppid=19091 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19104/stat : 19104 (java) S 19091 19091 16140 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510997433 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714018202848 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19105] ppid=19091 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19105/stat : 19105 (java) S 19091 19091 16140 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510997433 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714017149696 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19106] ppid=19091 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19106/stat : 19106 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510997436 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714016098256 140714769143707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19107] ppid=19091 vsize=28769364 memory=0 CPUtime=1.51 cores=0-7 /proc/19093/task/19107/stat : 19107 (java) R 19091 19091 16140 0 -1 4202560 4280 0 0 0 150 1 0 0 20 0 28 0 510997437 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714015036192 140714769146458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19108] ppid=19091 vsize=28769364 memory=0 CPUtime=1.48 cores=0-7 /proc/19093/task/19108/stat : 19108 (java) R 19091 19091 16140 0 -1 4202560 4118 0 0 0 146 2 0 0 20 0 28 0 510997437 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714013985296 140714769146458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19109] ppid=19091 vsize=28769364 memory=0 CPUtime=1.53 cores=0-7 /proc/19093/task/19109/stat : 19109 (java) R 19091 19091 16140 0 -1 4202560 4662 0 0 0 152 1 0 0 20 0 28 0 510997437 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714012927400 140714748447164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19110] ppid=19091 vsize=28769364 memory=0 CPUtime=0.75 cores=0-7 /proc/19093/task/19110/stat : 19110 (java) R 19091 19091 16140 0 -1 1077944384 3641 0 0 0 74 1 0 0 20 0 28 0 510997437 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714011888368 140714769135317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19111] ppid=19091 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19111/stat : 19111 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510997437 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714010835424 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19112] ppid=19091 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/19093/task/19112/stat : 19112 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510997437 29459828736 110376 33554432000 4194304 4196468 140720388697632 140714009782960 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 Current children cumulated CPU time: 9.41 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 442960 KiB [startup+2.80115 s] /proc/loadavg: 8.22 8.27 8.12 2/211 19112 /proc/meminfo: memFree=28212404/32770624 swapFree=67023936/67108860 [pid=19091] ppid=19088 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19091/stat : 19091 (xcsp3-exec) S 19088 19091 16140 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510997430 115843072 364 33554432000 4194304 5098028 140734686943184 140734686941288 140276507308668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22974464 140734686946136 140734686946394 140734686946394 140734686949318 0 /proc/19091/statm: 28282 364 305 221 0 87 0 [pid=19093] ppid=19091 vsize=28769364 memory=482672 CPUtime=11.93 cores=0-7 /proc/19093/stat : 19093 (java) S 19091 19091 16140 0 -1 1077944320 34551 0 0 0 1148 45 0 0 20 0 28 0 510997430 29459828736 120668 33554432000 4194304 4196468 140720388697632 140720388680176 140714769125111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 /proc/19093/statm: 7192341 120668 3530 1 0 7153441 0 [pid=19093/tid=19094] ppid=19091 vsize=28769364 memory=0 CPUtime=1.96 cores=0-7 /proc/19093/task/19094/stat : 19094 (java) S 19091 19091 16140 0 -1 1077944384 10149 0 0 0 189 7 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714773365888 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19095] ppid=19091 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7 /proc/19093/task/19095/stat : 19095 (java) S 19091 19091 16140 0 -1 1077944384 121 0 0 0 8 2 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714320661008 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19096] ppid=19091 vsize=28769364 memory=0 CPUtime=0.11 cores=0-7 /proc/19093/task/19096/stat : 19096 (java) S 19091 19091 16140 0 -1 1077944384 170 0 0 0 8 3 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714319608464 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19097] ppid=19091 vsize=28769364 memory=288230574492221466 CPUtime=0.12 cores=0-7 /proc/19093/task/19097/stat : 19097 (java) S 19091 19091 16140 0 -1 1077944384 169 0 0 0 9 3 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714318555408 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19098] ppid=19091 vsize=28769364 memory=288230596050944315 CPUtime=0.12 cores=0-7 /proc/19093/task/19098/stat : 19098 (java) S 19091 19091 16140 0 -1 1077944384 131 0 0 0 9 3 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714317502864 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19099] ppid=19091 vsize=28769364 memory=15816698942982814 CPUtime=0.12 cores=0-7 /proc/19093/task/19099/stat : 19099 (java) S 19091 19091 16140 0 -1 1077944384 179 0 0 0 9 3 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714316450832 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19100] ppid=19091 vsize=28769364 memory=0 CPUtime=0.11 cores=0-7 /proc/19093/task/19100/stat : 19100 (java) S 19091 19091 16140 0 -1 1077944384 114 0 0 0 8 3 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714315398288 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19101] ppid=19091 vsize=28769364 memory=0 CPUtime=0.11 cores=0-7 /proc/19093/task/19101/stat : 19101 (java) S 19091 19091 16140 0 -1 1077944384 183 0 0 0 8 3 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714314345232 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19102] ppid=19091 vsize=28769364 memory=0 CPUtime=0.12 cores=0-7 /proc/19093/task/19102/stat : 19102 (java) S 19091 19091 16140 0 -1 1077944384 164 0 0 0 9 3 0 0 20 0 28 0 510997431 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714313292688 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19103] ppid=19091 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/19093/task/19103/stat : 19103 (java) S 19091 19091 16140 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 28 0 510997433 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714270140656 140714769136258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19104] ppid=19091 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19104/stat : 19104 (java) S 19091 19091 16140 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510997433 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714018202848 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19105] ppid=19091 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19093/task/19105/stat : 19105 (java) S 19091 19091 16140 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510997433 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714017149696 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19106] ppid=19091 vsize=28769364 memory=280045558334528 CPUtime=0 cores=0-7 /proc/19093/task/19106/stat : 19106 (java) S 19091 19091 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510997436 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714016098256 140714769143707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19107] ppid=19091 vsize=28769364 memory=0 CPUtime=1.78 cores=0-7 /proc/19093/task/19107/stat : 19107 (java) R 19091 19091 16140 0 -1 4202560 4318 0 0 0 177 1 0 0 20 0 28 0 510997437 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714015027952 140714750646487 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19108] ppid=19091 vsize=28769364 memory=0 CPUtime=1.79 cores=0-7 /proc/19093/task/19108/stat : 19108 (java) R 19091 19091 16140 0 -1 4202560 4344 0 0 0 177 2 0 0 20 0 28 0 510997437 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714013987032 140714748965619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19109] ppid=19091 vsize=28769364 memory=0 CPUtime=1.76 cores=0-7 /proc/19093/task/19109/stat : 19109 (java) R 19091 19091 16140 0 -1 4202560 4721 0 0 0 175 1 0 0 20 0 28 0 510997437 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714012930704 140714755140099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19110] ppid=19091 vsize=28769364 memory=5931329032303301456 CPUtime=0.84 cores=0-7 /proc/19093/task/19110/stat : 19110 (java) R 19091 19091 16140 0 -1 1077944384 3811 0 0 0 83 1 0 0 20 0 28 0 510997437 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714011888240 140714769136258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19111] ppid=19091 vsize=28769364 memory=288230596134830447 CPUtime=0 cores=0-7 /proc/19093/task/19111/stat : 19111 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510997437 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714010835424 140714769135317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 [pid=19093/tid=19112] ppid=19091 vsize=28769364 memory=280045558566048 CPUtime=0 cores=0-7 /proc/19093/task/19112/stat : 19112 (java) S 19091 19091 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510997437 29459828736 120668 33554432000 4194304 4196468 140720388697632 140714009782960 140714769136258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7008256 140720388699100 140720388699275 140720388699275 140720388702159 0 Current children cumulated CPU time: 11.93 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 484128 KiB [startup+3.00094 s]* /proc/loadavg: 7.88 8.20 8.10 2/193 19352 /proc/meminfo: memFree=28462104/32770624 swapFree=67023936/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 3.01035 CPU time (s): 13.3538 CPU user time (s): 12.888 CPU system time (s): 0.465793 CPU usage (%): 443.597 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 484952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.888 system time used= 0.465793 maximum resident set size= 485472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35399 page faults= 0 swaps= 0 block input operations= 8 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5657 involuntary context switches= 168 # summary of solver processes directly reported to runsolver: # pid: 19091 # total CPU time (s): 13.3538 # total CPU user time (s): 12.888 # total CPU system time (s): 0.465793 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.051601 second user time and 0.063426 second system time The end
Begin job on node150 at 2019-09-24 19:46:49 IDJOB=4407369 IDBENCH=126822 IDSOLVER=2872 FILE ID=node150/4407369-1569347249 RUNJOBID= node150-1569335938-16167 PBS_JOBID= 21705047 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-7-3-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407369-1569347249/watcher-4407369-1569347249 -o /var/tmp/evaluation-result-4407369-1569347249/solver-4407369-1569347249 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 499698120 HOME/instance-4407369-1569347249.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0f4bef4b37e838bc5603a3a9d9caf103 RANDOM SEED=499698120 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28485860 kB MemAvailable: 31817948 kB Buffers: 102704 kB Cached: 3336024 kB SwapCached: 8116 kB Active: 3363860 kB Inactive: 111220 kB Active(anon): 4080 kB Inactive(anon): 83520 kB Active(file): 3359780 kB Inactive(file): 27700 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 67023936 kB Dirty: 26248 kB Writeback: 0 kB AnonPages: 283984 kB Mapped: 54172 kB Shmem: 42756 kB Slab: 402556 kB SReclaimable: 373068 kB SUnreclaim: 29488 kB KernelStack: 3712 kB PageTables: 6096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-24 19:46:52