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-09-16 | OPT | 164 | 8.97111 | 2.87439 |
| Name | Tpp/Tpp-zinc-s1/ Tpp-6-3-30-1.xml |
| MD5SUM | f61e90724cd8b66989ec046e8a3ea41c |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 164 |
| Best CPU time to get the best result obtained on this benchmark | 0.326088 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 96 |
| Number of constraints | 590 |
| Number of domains | 50 |
| Minimum domain size | 3 |
| Maximum domain size | 18 |
| Distribution of domain sizes | [{"size":3,"count":6},{"size":4,"count":9},{"size":5,"count":3},{"size":7,"count":1},{"size":9,"count":2},{"size":10,"count":3},{"size":11,"count":9},{"size":12,"count":9},{"size":13,"count":5},{"size":14,"count":1},{"size":17,"count":30},{"size":18,"count":18}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":48},{"degree":19,"count":30},{"degree":32,"count":17},{"degree":33,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":588},{"arity":18,"count":1}] |
| Number of extensional constraints | 48 |
| Number of intensional constraints | 541 |
| Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":541},{"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-4400431-1568692070.xml" -tl '2400s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4400431-1568692070.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 3.70/1.39 c solve instance... 5.05/1.68 o 408 5.05/1.69 o 351 5.05/1.69 o 325 5.17/1.72 o 324 5.17/1.72 o 323 5.17/1.72 o 322 5.17/1.73 o 321 5.17/1.74 o 320 5.17/1.74 o 319 5.17/1.74 o 318 5.17/1.74 o 317 5.17/1.74 o 316 5.17/1.74 o 315 5.17/1.74 o 314 5.17/1.75 o 313 5.17/1.78 o 312 5.17/1.78 o 311 5.17/1.78 o 310 5.17/1.78 o 309 5.17/1.78 o 308 5.17/1.78 o 307 5.17/1.78 o 306 5.17/1.79 o 305 5.17/1.79 o 304 5.17/1.79 o 303 5.17/1.79 o 302 5.52/1.82 o 292 5.52/1.83 o 291 5.52/1.83 o 290 5.52/1.84 o 289 5.52/1.84 o 288 5.52/1.84 o 287 5.52/1.85 o 286 5.52/1.85 o 285 5.52/1.85 o 284 5.52/1.86 o 283 5.52/1.86 o 282 5.52/1.86 o 281 5.52/1.86 o 280 5.52/1.87 o 279 5.52/1.89 o 278 5.52/1.89 o 277 5.52/1.90 o 276 5.82/1.90 o 275 5.82/1.90 o 259 5.82/1.90 o 258 5.82/1.90 o 257 5.82/1.90 o 256 5.82/1.93 o 255 5.82/1.94 o 254 5.82/1.94 o 253 5.82/1.94 o 252 5.82/1.94 o 251 5.82/1.94 o 250 5.82/1.95 o 249 5.82/1.95 o 248 5.82/1.95 o 247 5.82/1.98 o 246 5.82/1.98 o 245 5.82/1.98 o 244 5.82/1.99 o 243 5.82/1.99 o 242 5.82/1.99 o 241 5.82/2.00 o 240 6.19/2.02 o 239 6.19/2.02 o 238 6.19/2.03 o 237 6.19/2.03 o 236 6.19/2.06 o 235 6.19/2.06 o 234 6.19/2.06 o 233 6.19/2.07 o 232 6.19/2.07 o 215 6.19/2.08 o 214 6.19/2.08 o 213 6.19/2.09 o 212 6.19/2.09 o 211 6.19/2.10 o 210 6.53/2.11 o 209 6.53/2.11 o 208 6.53/2.12 o 207 6.53/2.12 o 206 6.53/2.12 o 205 6.53/2.14 o 204 6.53/2.15 o 203 6.53/2.15 o 202 6.53/2.16 o 201 6.53/2.17 o 200 6.53/2.17 o 199 6.53/2.17 o 198 6.53/2.17 o 197 6.53/2.18 o 196 6.53/2.18 o 195 6.78/2.20 o 194 6.78/2.22 o 193 6.78/2.22 o 192 6.78/2.23 o 191 6.78/2.23 o 190 6.78/2.23 o 189 6.78/2.24 o 188 6.78/2.24 o 187 6.78/2.24 o 186 6.78/2.27 o 185 6.78/2.28 o 184 7.07/2.30 o 183 7.07/2.31 o 182 7.07/2.32 o 181 7.07/2.34 o 180 7.07/2.34 o 179 7.07/2.35 o 178 7.07/2.36 o 177 7.07/2.36 o 176 7.07/2.39 o 175 7.33/2.40 o 174 7.33/2.42 o 173 7.33/2.43 o 172 7.33/2.45 o 171 7.33/2.46 o 170 7.33/2.46 o 169 7.33/2.49 o 168 7.55/2.50 o 167 7.55/2.50 o 166 7.55/2.51 o 165 7.55/2.51 o 164 8.75/2.85 s OPTIMUM FOUND 8.75/2.85 v <instantiation> 8.75/2.85 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] 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] 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> 8.75/2.85 v <values>0 1 2 3 4 5 6 7 8 10 11 17 12 13 14 9 15 16 0 0 0 0 0 0 0 0 0 6 4 1 0 0 0 1 13 16 9 9 15 16 11 16 15 15 9 11 10 10 9 16 9 11 11 10 9 16 16 11 11 15 15 10 10 16 9 16 4 4 7 6 8 4 2 1 4 8 3 3 7 4 1 4 5 1 4 2 9 1 2 1 7 2 2 3 4 10 </values> 8.75/2.85 v </instantiation>
OK 164
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 (15024 MiB free)
memory of node 1: 16384 MiB (15510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400431-1568692070/watcher-4400431-1568692070 -o /tmp/evaluation-result-4400431-1568692070/solver-4400431-1568692070 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 803341794 HOME/instance-4400431-1568692070.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26989, runsolver pid=26986
[startup+0.100058 s]*
/proc/loadavg: 8.23 8.05 7.92 7/233 27005
/proc/meminfo: memFree=31250236/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
[pid=26991] ppid=26989 vsize=15144776 memory=30148 CPUtime=0.13 cores=1,3,5,7
/proc/26991/stat : 26991 (java) S 26989 26989 24272 0 -1 1077944320 5960 0 0 0 12 1 0 0 20 0 15 0 445460080 15508250624 7537 33554432000 4194304 4196468 140722257942608 140722257925152 140453636325111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
/proc/26991/statm: 3786194 7537 3144 1 0 3748377 0
[pid=26991/tid=26992] ppid=26989 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/26991/task/26992/stat : 26992 (java) R 26989 26989 24272 0 -1 4202560 3861 0 0 0 8 1 0 0 20 0 15 0 445460081 15508250624 7537 33554432000 4194304 4196468 140722257942608 140453640557040 140453620368741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26993] ppid=26989 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 7537 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15144776 memory=140171639441024 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 7537 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 7537 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 7537 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15144776 memory=140171639441024 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460083 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460083 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452777862560 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460083 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452776809968 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) R 26989 26989 24272 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452774705232 140453636335317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) R 26989 26989 24272 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452773651776 140453614186192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15144776 memory=140171639441024 CPUtime=0.02 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) R 26989 26989 24272 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 445460086 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452772600048 140453620502569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15144776 memory=140171639441024 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 7537 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31600 KiB
[startup+0.210813 s]*
/proc/loadavg: 8.23 8.05 7.92 7/233 27005
/proc/meminfo: memFree=31239004/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
[pid=26991] ppid=26989 vsize=15144776 memory=40516 CPUtime=0.34 cores=1,3,5,7
/proc/26991/stat : 26991 (java) S 26989 26989 24272 0 -1 1077944320 9315 0 0 0 31 3 0 0 20 0 15 0 445460080 15508250624 10129 33554432000 4194304 4196468 140722257942608 140722257925152 140453636325111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
/proc/26991/statm: 3786194 10129 3308 1 0 3748377 0
[pid=26991/tid=26992] ppid=26989 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26991/task/26992/stat : 26992 (java) R 26989 26989 24272 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 15 0 445460081 15508250624 10129 33554432000 4194304 4196468 140722257942608 140453640564112 140453636337046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26993] ppid=26989 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 10129 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15144776 memory=288370547791152768 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 10129 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 10129 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15508250624 10129 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15144776 memory=140171639441024 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445460083 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460083 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452777862560 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460083 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452776809968 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) S 26989 26989 24272 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 15 0 445460086 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452774705136 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) S 26989 26989 24272 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 445460086 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452773652592 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15144776 memory=140171639441024 CPUtime=0.08 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) S 26989 26989 24272 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 445460086 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452772600048 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460086 15508250624 10129 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41968 KiB
[startup+0.319441 s]*
/proc/loadavg: 8.23 8.05 7.92 7/233 27005
/proc/meminfo: memFree=31230608/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
[pid=26991] ppid=26989 vsize=15149032 memory=50552 CPUtime=0.54 cores=1,3,5,7
/proc/26991/stat : 26991 (java) S 26989 26989 24272 0 -1 1077944320 10964 0 0 0 50 4 0 0 20 0 15 0 445460080 15512608768 12638 33554432000 4194304 4196468 140722257942608 140722257925152 140453636325111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
/proc/26991/statm: 3787258 12638 3351 1 0 3748377 0
[pid=26991/tid=26992] ppid=26989 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/26991/task/26992/stat : 26992 (java) R 26989 26989 24272 0 -1 4202560 7930 0 0 0 28 3 0 0 20 0 15 0 445460081 15512608768 12638 33554432000 4194304 4196468 140722257942608 140453640556880 140453620405598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26993] ppid=26989 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15512608768 12638 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15512608768 12638 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15512608768 12638 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15512608768 12638 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445460083 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460083 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452777862560 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460083 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452776809968 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) S 26989 26989 24272 0 -1 1077944384 593 0 0 0 5 0 0 0 20 0 15 0 445460086 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452774705136 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) S 26989 26989 24272 0 -1 1077944384 216 0 0 0 4 0 0 0 20 0 15 0 445460086 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452773652592 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) R 26989 26989 24272 0 -1 4202560 921 0 0 0 12 0 0 0 20 0 15 0 445460086 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452772600048 140453636337046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460086 15512608768 12638 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52004 KiB
[startup+0.701357 s]
/proc/loadavg: 8.23 8.05 7.92 10/233 27005
/proc/meminfo: memFree=31213020/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
[pid=26991] ppid=26989 vsize=15151156 memory=85832 CPUtime=1.71 cores=1,3,5,7
/proc/26991/stat : 26991 (java) S 26989 26989 24272 0 -1 1077944320 15126 0 0 0 166 5 0 0 20 0 15 0 445460080 15514783744 21458 33554432000 4194304 4196468 140722257942608 140722257925152 140453636325111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
/proc/26991/statm: 3787789 21458 3451 1 0 3748889 0
[pid=26991/tid=26992] ppid=26989 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/26991/task/26992/stat : 26992 (java) R 26989 26989 24272 0 -1 4202560 9130 0 0 0 64 4 0 0 20 0 15 0 445460081 15514783744 21458 33554432000 4194304 4196468 140722257942608 140453640562120 140453232135489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26993] ppid=26989 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15514783744 21458 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15514783744 21458 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445460081 15514783744 21458 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460081 15514783744 21458 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445460083 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445460083 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452777862560 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445460083 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452776809968 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15151156 memory=1764 CPUtime=0.31 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) R 26989 26989 24272 0 -1 4202560 1434 0 0 0 31 0 0 0 20 0 15 0 445460086 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452774698160 140453616161371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15151156 memory=111628 CPUtime=0.29 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) R 26989 26989 24272 0 -1 4202560 981 0 0 0 29 0 0 0 20 0 15 0 445460086 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452773641264 140453621442285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15151156 memory=796 CPUtime=0.41 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) S 26989 26989 24272 0 -1 1077944384 2273 0 0 0 41 0 0 0 20 0 15 0 445460086 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452772600048 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445460086 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445460086 15514783744 21458 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 87284 KiB
[startup+1.51036 s]
/proc/loadavg: 8.23 8.05 7.92 8/233 27005
/proc/meminfo: memFree=31153360/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 19 0 445460081 15789527040 54607 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 445460081 15789527040 54607 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 445460081 15789527040 54607 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 445460081 15789527040 54607 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 19 0 445460083 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445460083 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452777862560 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15419460 memory=7378982428732123221 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445460083 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452776809968 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15419460 memory=6010425776822829153 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15419460 memory=6947762738372958304 CPUtime=1.11 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) R 26989 26989 24272 0 -1 4202560 4141 0 0 0 111 0 0 0 20 0 19 0 445460086 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452774690936 140453617873320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15419460 memory=7734515921634045847 CPUtime=1.06 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) R 26989 26989 24272 0 -1 4202560 3620 0 0 0 106 0 0 0 20 0 19 0 445460086 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452773638520 140453628614560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15419460 memory=35425 CPUtime=0.62 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) R 26989 26989 24272 0 -1 4202560 3261 0 0 0 62 0 0 0 20 0 19 0 445460086 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452772600048 140453636346458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15419460 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15419460 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 15789527040 54607 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 219616 KiB
[startup+2.87434 s]
# the end of solver process 26989 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.68671 s, system=0.284401 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.66936 s]
/proc/loadavg: 8.23 8.05 7.92 8/233 27005
/proc/meminfo: memFree=31153360/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
[pid=26991] ppid=26989 vsize=15419460 memory=220864 CPUtime=5.05 cores=1,3,5,7
/proc/26991/stat : 26991 (java) S 26989 26989 24272 0 -1 1077944320 23687 0 0 0 495 10 0 0 20 0 19 0 445460080 15789527040 55216 33554432000 4194304 4196468 140722257942608 140722257925152 140453636325111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
/proc/26991/statm: 3854865 55216 3487 1 0 3815965 0
[pid=26991/tid=26992] ppid=26989 vsize=15419460 memory=13252 CPUtime=1.35 cores=1,3,5,7
/proc/26991/task/26992/stat : 26992 (java) S 26989 26989 24272 0 -1 1077944384 10114 0 0 0 130 5 0 0 20 0 19 0 445460081 15789527040 55216 33554432000 4194304 4196468 140722257942608 140453640565888 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26993] ppid=26989 vsize=15419460 memory=15460 CPUtime=0.01 cores=1,3,5,7
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 19 0 445460081 15789527040 55216 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15419460 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 445460081 15789527040 55216 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15419460 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 445460081 15789527040 55216 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15419460 memory=22084 CPUtime=0.01 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 445460081 15789527040 55216 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15419460 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 19 0 445460083 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15419460 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445460083 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452777862560 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15419460 memory=28708 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445460083 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452776809968 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15419460 memory=30916 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15419460 memory=6625 CPUtime=1.26 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) R 26989 26989 24272 0 -1 4202560 4386 0 0 0 126 0 0 0 20 0 19 0 445460086 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452774691952 140453614741511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15419460 memory=4420 CPUtime=1.19 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) S 26989 26989 24272 0 -1 1077944384 3775 0 0 0 119 0 0 0 20 0 19 0 445460086 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452773652592 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15419460 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) R 26989 26989 24272 0 -1 1077944384 3471 0 0 0 65 1 0 0 20 0 19 0 445460086 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452772600048 140453636336258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 15789527040 55216 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 222316 KiB
[startup+2.40068 s]
/proc/loadavg: 8.23 8.05 7.92 10/236 27264
/proc/meminfo: memFree=30895072/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
[pid=26991] ppid=26989 vsize=15686744 memory=563680 CPUtime=7.33 cores=1,3,5,7
/proc/26991/stat : 26991 (java) S 26989 26989 24272 0 -1 1077944320 32840 0 0 0 706 27 0 0 20 0 19 0 445460080 16063225856 140920 33554432000 4194304 4196468 140722257942608 140722257925152 140453636325111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
/proc/26991/statm: 3921686 140920 3508 1 0 3882786 0
[pid=26991/tid=26992] ppid=26989 vsize=15686744 memory=-6586668835053300882 CPUtime=1.38 cores=1,3,5,7
/proc/26991/task/26992/stat : 26992 (java) S 26989 26989 24272 0 -1 1077944384 10118 0 0 0 133 5 0 0 20 0 19 0 445460081 16063225856 140920 33554432000 4194304 4196468 140722257942608 140453640565888 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26993] ppid=26989 vsize=15686744 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 211 0 0 0 6 2 0 0 20 0 19 0 445460081 16063225856 140920 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15686744 memory=255620 CPUtime=0.07 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 19 0 445460081 16063225856 140920 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15686744 memory=231911054168810 CPUtime=0.07 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 214 0 0 0 5 2 0 0 20 0 19 0 445460081 16063225856 140920 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15686744 memory=3762812679836949428 CPUtime=0.08 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 247 0 0 0 5 3 0 0 20 0 19 0 445460081 16063225856 140920 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15686744 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 19 0 445460083 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15686744 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445460083 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452777862624 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15686744 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445460083 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452776809984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15686744 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15686744 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) S 26989 26989 24272 0 -1 1077944384 4721 0 0 0 175 0 0 0 20 0 19 0 445460086 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452774705136 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15686744 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) S 26989 26989 24272 0 -1 1077944384 3916 0 0 0 166 0 0 0 20 0 19 0 445460086 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452773652592 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15686744 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) S 26989 26989 24272 0 -1 1077944384 3784 0 0 0 81 1 0 0 20 0 19 0 445460086 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452772600048 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15686744 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15686744 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 16063225856 140920 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 15799872 KiB
Current children cumulated memory: 565132 KiB
[startup+2.80436 s]
/proc/loadavg: 8.23 8.05 7.92 10/236 27264
/proc/meminfo: memFree=30895072/32770624 swapFree=66997372/67108860
[pid=26989] ppid=26986 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26989/stat : 26989 (xcsp3-exec) S 26986 26989 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445460080 115843072 363 33554432000 4194304 5098028 140724408666352 140724408664456 140708297056892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38281216 140724408673147 140724408673389 140724408673389 140724408676298 0
/proc/26989/statm: 28282 363 304 221 0 87 0
[pid=26991] ppid=26989 vsize=15686744 memory=566524 CPUtime=8.75 cores=1,3,5,7
/proc/26991/stat : 26991 (java) S 26989 26989 24272 0 -1 1077944320 35471 0 0 0 848 27 0 0 20 0 19 0 445460080 16063225856 141631 33554432000 4194304 4196468 140722257942608 140722257925152 140453636325111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
/proc/26991/statm: 3921686 141631 3526 1 0 3882786 0
[pid=26991/tid=26992] ppid=26989 vsize=15686744 memory=6656426216303648864 CPUtime=1.38 cores=1,3,5,7
/proc/26991/task/26992/stat : 26992 (java) S 26989 26989 24272 0 -1 1077944384 10118 0 0 0 133 5 0 0 20 0 19 0 445460081 16063225856 141631 33554432000 4194304 4196468 140722257942608 140453640565888 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26993] ppid=26989 vsize=15686744 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/26991/task/26993/stat : 26993 (java) S 26989 26989 24272 0 -1 1077944384 211 0 0 0 6 2 0 0 20 0 19 0 445460081 16063225856 141631 33554432000 4194304 4196468 140722257942608 140453564365072 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26994] ppid=26989 vsize=15686744 memory=57 CPUtime=0.07 cores=1,3,5,7
/proc/26991/task/26994/stat : 26994 (java) S 26989 26989 24272 0 -1 1077944384 162 0 0 0 5 2 0 0 20 0 19 0 445460081 16063225856 141631 33554432000 4194304 4196468 140722257942608 140453563312528 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26995] ppid=26989 vsize=15686744 memory=2920 CPUtime=0.07 cores=1,3,5,7
/proc/26991/task/26995/stat : 26995 (java) S 26989 26989 24272 0 -1 1077944384 214 0 0 0 5 2 0 0 20 0 19 0 445460081 16063225856 141631 33554432000 4194304 4196468 140722257942608 140453562259984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26996] ppid=26989 vsize=15686744 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/26991/task/26996/stat : 26996 (java) S 26989 26989 24272 0 -1 1077944384 247 0 0 0 5 3 0 0 20 0 19 0 445460081 16063225856 141631 33554432000 4194304 4196468 140722257942608 140453561207440 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26997] ppid=26989 vsize=15686744 memory=231864 CPUtime=0.01 cores=1,3,5,7
/proc/26991/task/26997/stat : 26997 (java) S 26989 26989 24272 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 19 0 445460083 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452778916336 140453636336258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26998] ppid=26989 vsize=15686744 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26998/stat : 26998 (java) S 26989 26989 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445460083 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452777862624 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=26999] ppid=26989 vsize=15686744 memory=280342984864512 CPUtime=0 cores=1,3,5,7
/proc/26991/task/26999/stat : 26999 (java) S 26989 26989 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445460083 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452776809984 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27000] ppid=26989 vsize=15686744 memory=140171492298496 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27000/stat : 27000 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452775758544 140453636343707 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27001] ppid=26989 vsize=15686744 memory=1764 CPUtime=2.09 cores=1,3,5,7
/proc/26991/task/27001/stat : 27001 (java) R 26989 26989 24272 0 -1 4202560 5452 0 0 0 208 1 0 0 20 0 19 0 445460086 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452774691160 140453613549264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27002] ppid=26989 vsize=15686744 memory=111628 CPUtime=1.87 cores=1,3,5,7
/proc/26991/task/27002/stat : 27002 (java) R 26989 26989 24272 0 -1 1077944384 4316 0 0 0 187 0 0 0 20 0 19 0 445460086 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452773652592 140453636336258 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27003] ppid=26989 vsize=15686744 memory=6944656592455360604 CPUtime=0.86 cores=1,3,5,7
/proc/26991/task/27003/stat : 27003 (java) S 26989 26989 24272 0 -1 1077944384 3968 0 0 0 85 1 0 0 20 0 19 0 445460086 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452772600048 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27004] ppid=26989 vsize=15686744 memory=280342984392944 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27004/stat : 27004 (java) S 26989 26989 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445460086 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452771547744 140453636335317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
[pid=26991/tid=27005] ppid=26989 vsize=15686744 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26991/task/27005/stat : 27005 (java) S 26989 26989 24272 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 445460086 16063225856 141631 33554432000 4194304 4196468 140722257942608 140452770495280 140453636336258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39280640 140722257945583 140722257945754 140722257945754 140722257948623 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 15799872 KiB
Current children cumulated memory: 567976 KiB
Child status: 0
Real time (s): 2.87439
CPU time (s): 8.97111
CPU user time (s): 8.68671
CPU system time (s): 0.284401
CPU usage (%): 312.105
Max. virtual memory (cumulated for all children) (KiB): 15799872
Max. memory (cumulated for all children) (KiB): 567976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.68671
system time used= 0.284401
maximum resident set size= 567244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5083
involuntary context switches= 182
# summary of solver processes directly reported to runsolver:
# pid: 26989
# total CPU time (s): 8.97111
# total CPU user time (s): 8.68671
# total CPU system time (s): 0.284401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045091 second user time and 0.06992 second system time
The end
Begin job on node103 at 2019-09-17 05:46:51 IDJOB=4400431 IDBENCH=126825 IDSOLVER=2856 FILE ID=node103/4400431-1568692070 RUNJOBID= node103-1568691240-24304 PBS_JOBID= 21703799 Free space on /tmp= 61692 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-6-3-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-4400431-1568692070/watcher-4400431-1568692070 -o /tmp/evaluation-result-4400431-1568692070/solver-4400431-1568692070 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 803341794 HOME/instance-4400431-1568692070.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f61e90724cd8b66989ec046e8a3ea41c RANDOM SEED=803341794 node103.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.74 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.74 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.74 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.74 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: 31268276 kB MemAvailable: 31665276 kB Buffers: 74368 kB Cached: 617792 kB SwapCached: 9016 kB Active: 653456 kB Inactive: 270268 kB Active(anon): 223760 kB Inactive(anon): 57316 kB Active(file): 429696 kB Inactive(file): 212952 kB Unevictable: 111148 kB Mlocked: 111148 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 26212 kB Writeback: 0 kB AnonPages: 335236 kB Mapped: 61828 kB Shmem: 40856 kB Slab: 170452 kB SReclaimable: 140372 kB SUnreclaim: 30080 kB KernelStack: 3808 kB PageTables: 6428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1566468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61668 MiB End job on node103 at 2019-09-17 05:46:54