Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-06-14 | OPT | 171 | 5.95365 | 2.05803 |
| Name | Tpp/Tpp-zinc-s1/ Tpp-3-5-30-1.xml |
| MD5SUM | e91753cc37d5672b16b54feba0c5cd89 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 171 |
| Best CPU time to get the best result obtained on this benchmark | 0.21607 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 90 |
| Number of constraints | 497 |
| Number of domains | 47 |
| Minimum domain size | 2 |
| Maximum domain size | 15 |
| Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":3},{"size":4,"count":8},{"size":5,"count":4},{"size":8,"count":2},{"size":9,"count":5},{"size":10,"count":9},{"size":11,"count":11},{"size":12,"count":2},{"size":14,"count":30},{"size":15,"count":15}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":45},{"degree":16,"count":30},{"degree":32,"count":14},{"degree":33,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 15 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":495},{"arity":15,"count":1}] |
| Number of extensional constraints | 45 |
| Number of intensional constraints | 451 |
| Distribution of constraint types | [{"type":"extension","count":45},{"type":"intension","count":451},{"type":"circuit","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393281-1568317589.xml" -tl '2520s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393281-1568317589.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 3.31/1.26 c solve instance... 4.05/1.41 o 330 4.05/1.42 o 323 4.05/1.43 o 321 4.05/1.44 o 318 4.05/1.44 o 316 4.05/1.44 o 312 4.05/1.44 o 310 4.05/1.45 o 308 4.05/1.45 o 306 4.05/1.45 o 304 4.05/1.46 o 302 4.05/1.47 o 300 4.05/1.47 o 298 4.05/1.47 o 260 4.05/1.48 o 258 4.05/1.49 o 257 4.05/1.49 o 256 4.37/1.50 o 254 4.37/1.50 o 252 4.37/1.51 o 251 4.37/1.52 o 250 4.37/1.52 o 249 4.37/1.52 o 247 4.37/1.54 o 245 4.37/1.55 o 244 4.37/1.55 o 242 4.37/1.55 o 240 4.37/1.56 o 239 4.37/1.56 o 238 4.37/1.56 o 237 4.37/1.57 o 235 4.37/1.57 o 233 4.37/1.57 o 232 4.37/1.57 o 231 4.37/1.58 o 230 4.37/1.59 o 229 4.37/1.59 o 228 4.71/1.60 o 227 4.71/1.60 o 226 4.71/1.60 o 225 4.71/1.61 o 224 4.71/1.61 o 223 4.71/1.62 o 222 4.71/1.62 o 221 4.71/1.63 o 220 4.71/1.63 o 219 4.71/1.63 o 218 4.71/1.66 o 217 4.71/1.66 o 216 4.71/1.67 o 215 4.71/1.67 o 214 4.71/1.68 o 213 4.71/1.68 o 212 4.71/1.69 o 211 4.71/1.70 o 210 5.01/1.70 o 209 5.01/1.70 o 208 5.01/1.70 o 207 5.01/1.71 o 206 5.01/1.71 o 205 5.01/1.71 o 204 5.01/1.71 o 203 5.01/1.72 o 202 5.01/1.72 o 201 5.01/1.72 o 200 5.01/1.72 o 199 5.01/1.73 o 198 5.01/1.73 o 197 5.01/1.73 o 196 5.01/1.74 o 195 5.01/1.75 o 194 5.01/1.75 o 193 5.01/1.77 o 192 5.01/1.77 o 191 5.01/1.78 o 190 5.01/1.78 o 189 5.01/1.79 o 188 5.01/1.79 o 187 5.01/1.79 o 186 5.01/1.80 o 185 5.29/1.80 o 184 5.29/1.80 o 183 5.29/1.81 o 182 5.29/1.81 o 181 5.29/1.81 o 180 5.29/1.82 o 180 5.29/1.83 o 179 5.29/1.83 o 178 5.29/1.84 o 177 5.29/1.84 o 176 5.29/1.88 o 175 5.29/1.88 o 174 5.29/1.89 o 173 5.29/1.89 o 172 5.29/1.89 o 171 5.85/2.04 s OPTIMUM FOUND 5.85/2.04 v <instantiation> 5.85/2.04 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] 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] 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> 5.85/2.04 v <values>0 1 2 3 4 5 9 6 7 10 13 8 12 14 11 0 0 0 0 0 0 17 13 20 3 1 4 0 1 18 6 8 7 7 9 11 8 13 10 6 9 9 9 6 8 8 6 7 7 8 13 13 8 6 9 11 11 10 13 7 1 4 2 3 4 2 2 5 4 1 4 4 10 9 4 2 2 3 1 5 1 1 2 3 1 4 5 1 2 2 </values> 5.85/2.04 v </instantiation>
OK 171
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 (1147 MiB free)
memory of node 1: 16384 MiB (11451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393281-1568317589/watcher-4393281-1568317589 -o /tmp/evaluation-result-4393281-1568317589/solver-4393281-1568317589 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1454652706 HOME/instance-4393281-1568317589.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20530, runsolver pid=20527
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 7.86 8.01 7.78 8/232 20546
/proc/meminfo: memFree=12884644/32770624 swapFree=66977612/67108860
[pid=20530] ppid=20527 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20530/stat : 20530 (xcsp3-exec) S 20527 20530 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408016186 115843072 362 33554432000 4194304 5098028 140722739826000 140722739824104 140126238290556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39366656 140722739827578 140722739827821 140722739827821 140722739830730 0
/proc/20530/statm: 28282 362 304 221 0 87 0
[pid=20532] ppid=20530 vsize=15144768 memory=29620 CPUtime=0.13 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20530 15592 0 -1 1077944320 5803 0 0 0 12 1 0 0 20 0 15 0 408016186 15508242432 7405 33554432000 4194304 4196468 140724885708160 140724885690704 140076081024759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
/proc/20532/statm: 3786192 7405 3150 1 0 3748377 0
[pid=20532/tid=20533] ppid=20530 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20530 15592 0 -1 4202560 3724 0 0 0 8 0 0 0 20 0 15 0 408016186 15508242432 7405 33554432000 4194304 4196468 140724885708160 140076085250592 140076073261886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20534] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20534/stat : 20534 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 7405 33554432000 4194304 4196468 140724885708160 140076009065104 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20535] ppid=20530 vsize=15144768 memory=4123246398576273056 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 7405 33554432000 4194304 4196468 140724885708160 140076008012304 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20536] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 7405 33554432000 4194304 4196468 140724885708160 140076006959504 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20537] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20530 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 7405 33554432000 4194304 4196468 140724885708160 140076005906704 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20538] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20530 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016188 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075549080432 140076081035906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20539] ppid=20530 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20530 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016189 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075548026400 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20540] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20530 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016189 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075546973552 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20541] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075545921872 140076081043355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20542] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20530 15592 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075544869232 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20543] ppid=20530 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) R 20530 20530 15592 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075543807936 140076066442704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20544] ppid=20530 vsize=15144768 memory=140238123443840 CPUtime=0.02 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) R 20530 20530 15592 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 408016192 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075542763632 140076059391156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20545] ppid=20530 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075541711072 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20546] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 7405 33554432000 4194304 4196468 140724885708160 140075540659376 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31068 KiB
[startup+0.210815 s]*
/proc/loadavg: 7.86 8.01 7.78 6/232 20546
/proc/meminfo: memFree=12872272/32770624 swapFree=66977612/67108860
[pid=20530] ppid=20527 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20530/stat : 20530 (xcsp3-exec) S 20527 20530 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408016186 115843072 362 33554432000 4194304 5098028 140722739826000 140722739824104 140126238290556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39366656 140722739827578 140722739827821 140722739827821 140722739830730 0
/proc/20530/statm: 28282 362 304 221 0 87 0
[pid=20532] ppid=20530 vsize=15144768 memory=41172 CPUtime=0.34 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20530 15592 0 -1 1077944320 9480 0 0 0 31 3 0 0 20 0 15 0 408016186 15508242432 10293 33554432000 4194304 4196468 140724885708160 140724885690704 140076081024759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
/proc/20532/statm: 3786192 10293 3310 1 0 3748377 0
[pid=20532/tid=20533] ppid=20530 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20530 15592 0 -1 4202560 6616 0 0 0 17 2 0 0 20 0 15 0 408016186 15508242432 10293 33554432000 4194304 4196468 140724885708160 140076085258880 140075677653825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20534] ppid=20530 vsize=15144768 memory=1898157 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20534/stat : 20534 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 10293 33554432000 4194304 4196468 140724885708160 140076009065104 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20535] ppid=20530 vsize=15144768 memory=140238126291875 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 10293 33554432000 4194304 4196468 140724885708160 140076008012304 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20536] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 10293 33554432000 4194304 4196468 140724885708160 140076006959504 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20537] ppid=20530 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20530 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016187 15508242432 10293 33554432000 4194304 4196468 140724885708160 140076005906704 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20538] ppid=20530 vsize=15144768 memory=140238123443840 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20530 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408016188 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075549080432 140076081035906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20539] ppid=20530 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20530 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016189 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075548026400 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20540] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20530 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016189 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075546973552 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20541] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075545921872 140076081043355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20542] ppid=20530 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20530 15592 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 408016192 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075544869232 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20543] ppid=20530 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20530 15592 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 15 0 408016192 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075543816432 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20544] ppid=20530 vsize=15144768 memory=140238123443840 CPUtime=0.08 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) R 20530 20530 15592 0 -1 4202560 732 0 0 0 8 0 0 0 20 0 15 0 408016192 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075542763632 140076065105246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20545] ppid=20530 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075541711072 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20546] ppid=20530 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016192 15508242432 10293 33554432000 4194304 4196468 140724885708160 140075540659376 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42620 KiB
[startup+0.310787 s]*
/proc/loadavg: 7.86 8.01 7.78 8/232 20546
/proc/meminfo: memFree=12864876/32770624 swapFree=66977612/67108860
[pid=20530] ppid=20527 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20530/stat : 20530 (xcsp3-exec) S 20527 20530 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408016186 115843072 362 33554432000 4194304 5098028 140722739826000 140722739824104 140126238290556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39366656 140722739827578 140722739827821 140722739827821 140722739830730 0
/proc/20530/statm: 28282 362 304 221 0 87 0
[pid=20532] ppid=20530 vsize=15149024 memory=49924 CPUtime=0.53 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20530 15592 0 -1 1077944320 10842 0 0 0 49 4 0 0 20 0 15 0 408016186 15512600576 12481 33554432000 4194304 4196468 140724885708160 140724885690704 140076081024759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
/proc/20532/statm: 3787256 12481 3352 1 0 3748377 0
[pid=20532/tid=20533] ppid=20530 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20530 15592 0 -1 4202560 7770 0 0 0 27 3 0 0 20 0 15 0 408016186 15512600576 12481 33554432000 4194304 4196468 140724885708160 140076085259088 140076065105246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20534] ppid=20530 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20534/stat : 20534 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15512600576 12481 33554432000 4194304 4196468 140724885708160 140076009065104 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20535] ppid=20530 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15512600576 12481 33554432000 4194304 4196468 140724885708160 140076008012304 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20536] ppid=20530 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15512600576 12481 33554432000 4194304 4196468 140724885708160 140076006959504 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20537] ppid=20530 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20530 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016187 15512600576 12481 33554432000 4194304 4196468 140724885708160 140076005906704 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20538] ppid=20530 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20530 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408016188 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075549080432 140076081035906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20539] ppid=20530 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20530 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016189 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075548026400 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20540] ppid=20530 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20530 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016189 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075546973552 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20541] ppid=20530 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075545921872 140076081043355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20542] ppid=20530 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) R 20530 20530 15592 0 -1 4202560 623 0 0 0 5 0 0 0 20 0 15 0 408016192 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075544859616 140076062544505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20543] ppid=20530 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20530 15592 0 -1 1077944384 321 0 0 0 4 0 0 0 20 0 15 0 408016192 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075543816432 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20544] ppid=20530 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20530 15592 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 408016192 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075542763632 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20545] ppid=20530 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075541711072 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20546] ppid=20530 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016192 15512600576 12481 33554432000 4194304 4196468 140724885708160 140075540659376 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51372 KiB
[startup+0.701539 s]
/proc/loadavg: 7.86 8.01 7.78 7/232 20546
/proc/meminfo: memFree=12851272/32770624 swapFree=66977612/67108860
[pid=20530] ppid=20527 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20530/stat : 20530 (xcsp3-exec) S 20527 20530 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408016186 115843072 362 33554432000 4194304 5098028 140722739826000 140722739824104 140126238290556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39366656 140722739827578 140722739827821 140722739827821 140722739830730 0
/proc/20530/statm: 28282 362 304 221 0 87 0
[pid=20532] ppid=20530 vsize=15151148 memory=82608 CPUtime=1.69 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20530 15592 0 -1 1077944320 14712 0 0 0 164 5 0 0 20 0 15 0 408016186 15514775552 20652 33554432000 4194304 4196468 140724885708160 140724885690704 140076081024759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
/proc/20532/statm: 3787787 20652 3451 1 0 3748889 0
[pid=20532/tid=20533] ppid=20530 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20530 15592 0 -1 4202560 8965 0 0 0 64 3 0 0 20 0 15 0 408016186 15514775552 20652 33554432000 4194304 4196468 140724885708160 140076085262400 140075681657951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20534] ppid=20530 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20534/stat : 20534 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15514775552 20652 33554432000 4194304 4196468 140724885708160 140076009065104 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20535] ppid=20530 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15514775552 20652 33554432000 4194304 4196468 140724885708160 140076008012304 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20536] ppid=20530 vsize=15151148 memory=704 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016187 15514775552 20652 33554432000 4194304 4196468 140724885708160 140076006959504 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20537] ppid=20530 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20530 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016187 15514775552 20652 33554432000 4194304 4196468 140724885708160 140076005906704 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20538] ppid=20530 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20530 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408016188 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075549080432 140076081035906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20539] ppid=20530 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20530 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016189 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075548026400 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20540] ppid=20530 vsize=15151148 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20530 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016189 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075546973552 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20541] ppid=20530 vsize=15151148 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075545921872 140076081043355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20542] ppid=20530 vsize=15151148 memory=5952 CPUtime=0.28 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) R 20530 20530 15592 0 -1 4202560 1357 0 0 0 28 0 0 0 20 0 15 0 408016192 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075544855456 140076060864370 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20543] ppid=20530 vsize=15151148 memory=7552 CPUtime=0.28 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) R 20530 20530 15592 0 -1 4202560 920 0 0 0 28 0 0 0 20 0 15 0 408016192 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075543803984 140076060281164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20544] ppid=20530 vsize=15151148 memory=2832 CPUtime=0.42 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) R 20530 20530 15592 0 -1 4202560 2164 0 0 0 42 0 0 0 20 0 15 0 408016192 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075542763632 140076059557600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20545] ppid=20530 vsize=15151148 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016192 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075541711072 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20546] ppid=20530 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20530 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016192 15514775552 20652 33554432000 4194304 4196468 140724885708160 140075540659376 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 84056 KiB
[startup+1.5022 s]
/proc/loadavg: 7.86 8.01 7.78 8/232 20546
/proc/meminfo: memFree=12783948/32770624 swapFree=66977612/67108860
[pid=20530] ppid=20527 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20530/stat : 20530 (xcsp3-exec) S 20527 20530 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408016186 115843072 362 33554432000 4194304 5098028 140722739826000 140722739824104 140126238290556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39366656 140722739827578 140722739827821 140722739827821 140722739830730 0
/proc/20530/statm: 28282 362 304 221 0 87 0
[pid=20532] ppid=20530 vsize=15552580 memory=213660 CPUtime=4.37 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20530 15592 0 -1 1077944320 25040 0 0 0 427 10 0 0 20 0 19 0 408016186 15925841920 53415 33554432000 4194304 4196468 140724885708160 140724885690704 140076081024759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
/proc/20532/statm: 3888145 53415 3495 1 0 3849247 0
[pid=20532/tid=20533] ppid=20530 vsize=15552580 memory=1448 CPUtime=1.23 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) S 20530 20530 15592 0 -1 1077944384 11750 0 0 0 118 5 0 0 20 0 19 0 408016186 15925841920 53415 33554432000 4194304 4196468 140724885708160 140076085265536 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20534] ppid=20530 vsize=15552580 memory=213312 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20534/stat : 20534 (java) S 20530 20530 15592 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 19 0 408016187 15925841920 53415 33554432000 4194304 4196468 140724885708160 140076009065104 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20535] ppid=20530 vsize=15552580 memory=7955702562835032933 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20530 15592 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 19 0 408016187 15925841920 53415 33554432000 4194304 4196468 140724885708160 140076008012304 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20536] ppid=20530 vsize=15552580 memory=8025790986960589920 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20530 15592 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 19 0 408016187 15925841920 53415 33554432000 4194304 4196468 140724885708160 140076006959504 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20537] ppid=20530 vsize=15552580 memory=704 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20530 15592 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 19 0 408016187 15925841920 53415 33554432000 4194304 4196468 140724885708160 140076005906704 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20538] ppid=20530 vsize=15552580 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20530 15592 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 19 0 408016188 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075549080432 140076081035906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20539] ppid=20530 vsize=15552580 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20530 15592 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408016189 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075548026400 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20540] ppid=20530 vsize=15552580 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20530 15592 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 408016189 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075546973552 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20541] ppid=20530 vsize=15552580 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016192 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075545921872 140076081043355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20542] ppid=20530 vsize=15552580 memory=176428666626164 CPUtime=0.94 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) R 20530 20530 15592 0 -1 4202560 2826 0 0 0 94 0 0 0 20 0 19 0 408016192 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075544856864 140076065424289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20543] ppid=20530 vsize=15552580 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) R 20530 20530 15592 0 -1 4202560 3145 0 0 0 98 0 0 0 20 0 19 0 408016192 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075543816432 140076060861100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20544] ppid=20530 vsize=15552580 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) R 20530 20530 15592 0 -1 4202560 3847 0 0 0 67 0 0 0 20 0 19 0 408016192 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075542763632 140076073261886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20545] ppid=20530 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016192 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075541711072 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20546] ppid=20530 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20530 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 408016192 15925841920 53415 33554432000 4194304 4196468 140724885708160 140075540659376 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 215108 KiB
[startup+2.05798 s]
# the end of solver process 20530 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.69817 s, system=0.255476 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60128 s]
/proc/loadavg: 7.86 8.01 7.78 8/232 20546
/proc/meminfo: memFree=12783948/32770624 swapFree=66977612/67108860
[pid=20530] ppid=20527 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20530/stat : 20530 (xcsp3-exec) S 20527 20530 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408016186 115843072 362 33554432000 4194304 5098028 140722739826000 140722739824104 140126238290556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39366656 140722739827578 140722739827821 140722739827821 140722739830730 0
/proc/20530/statm: 28282 362 304 221 0 87 0
[pid=20532] ppid=20530 vsize=15552580 memory=244628 CPUtime=4.71 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20530 15592 0 -1 1077944320 26607 0 0 0 456 15 0 0 20 0 18 0 408016186 15925841920 61157 33554432000 4194304 4196468 140724885708160 140724885690704 140076081024759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
/proc/20532/statm: 3888145 61157 3497 1 0 3849247 0
[pid=20532/tid=20533] ppid=20530 vsize=15552580 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) S 20530 20530 15592 0 -1 1077944384 11750 0 0 0 118 5 0 0 20 0 18 0 408016186 15925841920 61157 33554432000 4194304 4196468 140724885708160 140076085265536 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20534] ppid=20530 vsize=15552580 memory=4580 CPUtime=0.03 cores=1,3,5,7
/proc/20532/task/20534/stat : 20534 (java) S 20530 20530 15592 0 -1 1077944384 175 0 0 0 2 1 0 0 20 0 18 0 408016187 15925841920 61157 33554432000 4194304 4196468 140724885708160 140076009065104 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20535] ppid=20530 vsize=15552580 memory=7445103746723441000 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20530 15592 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 18 0 408016187 15925841920 61157 33554432000 4194304 4196468 140724885708160 140076008012304 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20536] ppid=20530 vsize=15552580 memory=7235147594880805952 CPUtime=0.03 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20530 15592 0 -1 1077944384 254 0 0 0 2 1 0 0 20 0 18 0 408016187 15925841920 61157 33554432000 4194304 4196468 140724885708160 140076006959504 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20537] ppid=20530 vsize=15552580 memory=7229801760605955433 CPUtime=0.03 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20530 15592 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 18 0 408016187 15925841920 61157 33554432000 4194304 4196468 140724885708160 140076005906704 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20538] ppid=20530 vsize=15552580 memory=7523656155811436143 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20530 15592 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 18 0 408016188 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075549080432 140076081035906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20539] ppid=20530 vsize=15552580 memory=7661562401844062310 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20530 15592 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 18 0 408016189 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075548026464 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20540] ppid=20530 vsize=15552580 memory=6082231574813827945 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20530 15592 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408016189 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075546973568 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20541] ppid=20530 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016192 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075545921872 140076081043355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20542] ppid=20530 vsize=15552580 memory=207318071393512 CPUtime=1 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) R 20530 20530 15592 0 -1 4202560 2850 0 0 0 100 0 0 0 20 0 19 0 408016192 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075544860560 140076062331473 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20543] ppid=20530 vsize=15552580 memory=149516401510513 CPUtime=1.03 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20530 15592 0 -1 1077944384 3161 0 0 0 103 0 0 0 20 0 19 0 408016192 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075543816432 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20544] ppid=20530 vsize=15552580 memory=207335251262696 CPUtime=0.7 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) R 20530 20530 15592 0 -1 1077944384 3911 0 0 0 70 0 0 0 20 0 19 0 408016192 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075542763632 140076081035906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20545] ppid=20530 vsize=15552580 memory=226619654421736 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016192 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075541711072 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20546] ppid=20530 vsize=15552580 memory=226623949393557 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20530 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 408016192 15925841920 61669 33554432000 4194304 4196468 140724885708160 140075540659376 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 246076 KiB
[startup+2.00153 s]*
/proc/loadavg: 7.86 8.01 7.78 8/236 20930
/proc/meminfo: memFree=12506428/32770624 swapFree=66977612/67108860
[pid=20530] ppid=20527 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20530/stat : 20530 (xcsp3-exec) S 20527 20530 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408016186 115843072 362 33554432000 4194304 5098028 140722739826000 140722739824104 140126238290556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39366656 140722739827578 140722739827821 140722739827821 140722739830730 0
/proc/20530/statm: 28282 362 304 221 0 87 0
[pid=20532] ppid=20530 vsize=15620172 memory=406168 CPUtime=5.85 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20530 15592 0 -1 1077944320 31295 0 0 0 561 24 0 0 20 0 19 0 408016186 15995056128 101542 33554432000 4194304 4196468 140724885708160 140724885690704 140076081024759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
/proc/20532/statm: 3905043 101542 3518 1 0 3866145 0
[pid=20532/tid=20533] ppid=20530 vsize=15620172 memory=605021049421824131 CPUtime=1.26 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) S 20530 20530 15592 0 -1 1077944384 11752 0 0 0 120 6 0 0 20 0 19 0 408016186 15995056128 101542 33554432000 4194304 4196468 140724885708160 140076085265536 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20534] ppid=20530 vsize=15620172 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20532/task/20534/stat : 20534 (java) S 20530 20530 15592 0 -1 1077944384 193 0 0 0 4 2 0 0 20 0 19 0 408016187 15995056128 101542 33554432000 4194304 4196468 140724885708160 140076009065104 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20535] ppid=20530 vsize=15620172 memory=4123246398576273056 CPUtime=0.05 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20530 15592 0 -1 1077944384 58 0 0 0 3 2 0 0 20 0 19 0 408016187 15995056128 101542 33554432000 4194304 4196468 140724885708160 140076008012304 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20536] ppid=20530 vsize=15620172 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20530 15592 0 -1 1077944384 276 0 0 0 4 2 0 0 20 0 19 0 408016187 15995056128 101542 33554432000 4194304 4196468 140724885708160 140076006959504 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20537] ppid=20530 vsize=15620172 memory=280475994506928 CPUtime=0.06 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20530 15592 0 -1 1077944384 79 0 0 0 4 2 0 0 20 0 19 0 408016187 15995056128 101542 33554432000 4194304 4196468 140724885708160 140076005906704 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20538] ppid=20530 vsize=15620172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20530 15592 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 19 0 408016188 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075549080432 140076081035906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20539] ppid=20530 vsize=15620172 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20530 15592 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408016189 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075548026464 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20540] ppid=20530 vsize=15620172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20530 15592 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408016189 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075546973568 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20541] ppid=20530 vsize=15620172 memory=7306916055891837009 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016192 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075545921872 140076081043355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20542] ppid=20530 vsize=15620172 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) R 20530 20530 15592 0 -1 4202560 3116 0 0 0 115 0 0 0 20 0 19 0 408016192 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075544869232 140076073314141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20543] ppid=20530 vsize=15620172 memory=-1 CPUtime=1.2 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) R 20530 20530 15592 0 -1 4202560 3249 0 0 0 120 0 0 0 20 0 19 0 408016192 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075543816728 140076064521499 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20544] ppid=20530 vsize=15620172 memory=140238123443840 CPUtime=0.79 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20530 15592 0 -1 1077944384 4108 0 0 0 79 0 0 0 20 0 19 0 408016192 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075542763632 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20545] ppid=20530 vsize=15620172 memory=8405250998271 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20530 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016192 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075541711072 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20546] ppid=20530 vsize=15620172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20530 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 408016192 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075540659376 140076081035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20927] ppid=20530 vsize=15620172 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20532/task/20927/stat : 20927 (java) S 20530 20530 15592 0 -1 1077944384 18 0 0 0 6 0 0 0 20 0 19 0 408016376 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075066187264 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20928] ppid=20530 vsize=15620172 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20532/task/20928/stat : 20928 (java) S 20530 20530 15592 0 -1 1077944384 18 0 0 0 6 0 0 0 20 0 19 0 408016376 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075065135984 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20929] ppid=20530 vsize=15620172 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20532/task/20929/stat : 20929 (java) S 20530 20530 15592 0 -1 1077944384 18 0 0 0 4 0 0 0 20 0 19 0 408016376 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075061977840 140076081034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
[pid=20532/tid=20930] ppid=20530 vsize=15620172 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20532/task/20930/stat : 20930 (java) R 20530 20530 15592 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 408016376 15995056128 101542 33554432000 4194304 4196468 140724885708160 140075064080808 140076067295357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140724885709807 140724885709978 140724885709978 140724885712847 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 407616 KiB
Child status: 0
Real time (s): 2.05803
CPU time (s): 5.95365
CPU user time (s): 5.69817
CPU system time (s): 0.255476
CPU usage (%): 289.289
Max. virtual memory (cumulated for all children) (KiB): 15733300
Max. memory (cumulated for all children) (KiB): 407616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.69817
system time used= 0.255476
maximum resident set size= 409212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4555
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 20530
# total CPU time (s): 5.95365
# total CPU user time (s): 5.69817
# total CPU system time (s): 0.255476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048481 second user time and 0.061187 second system time
The end
Begin job on node104 at 2019-09-12 20:36:12 IDJOB=4393281 IDBENCH=126835 IDSOLVER=2840 FILE ID=node104/4393281-1568317589 RUNJOBID= node104-1568309054-15624 PBS_JOBID= 21701133 Free space on /tmp= 56548 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-3-5-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393281-1568317589/watcher-4393281-1568317589 -o /tmp/evaluation-result-4393281-1568317589/solver-4393281-1568317589 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1454652706 HOME/instance-4393281-1568317589.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e91753cc37d5672b16b54feba0c5cd89 RANDOM SEED=1454652706 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 12902232 kB MemAvailable: 20013252 kB Buffers: 122852 kB Cached: 7191892 kB SwapCached: 31864 kB Active: 12962544 kB Inactive: 6185584 kB Active(anon): 11161896 kB Inactive(anon): 712508 kB Active(file): 1800648 kB Inactive(file): 5473076 kB Unevictable: 107804 kB Mlocked: 107804 kB SwapTotal: 67108860 kB SwapFree: 66977612 kB Dirty: 26136 kB Writeback: 8 kB AnonPages: 11910388 kB Mapped: 55912 kB Shmem: 32780 kB Slab: 295932 kB SReclaimable: 265756 kB SUnreclaim: 30176 kB KernelStack: 3888 kB PageTables: 28652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 13317176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 11735040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56524 MiB End job on node104 at 2019-09-12 20:36:14