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 | 165 | 15.1902 | 4.4505 |
| Name | Tpp/Tpp-zinc-s1/ Tpp-5-5-30-1.xml |
| MD5SUM | af05408dbf994167098c19a92e91e627 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 165 |
| Best CPU time to get the best result obtained on this benchmark | 0.692329 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 110 |
| Number of constraints | 807 |
| Number of domains | 57 |
| Minimum domain size | 3 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":5},{"size":11,"count":1},{"size":12,"count":2},{"size":13,"count":8},{"size":14,"count":6},{"size":15,"count":9},{"size":16,"count":4},{"size":24,"count":30},{"size":25,"count":25}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":55},{"degree":26,"count":30},{"degree":32,"count":24},{"degree":33,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 25 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":805},{"arity":25,"count":1}] |
| Number of extensional constraints | 55 |
| Number of intensional constraints | 751 |
| Distribution of constraint types | [{"type":"extension","count":55},{"type":"intension","count":751},{"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-4394176-1568330756.xml" -tl '2400s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394176-1568330756.xml, -tl, 2400s, -p, 4] 0.35/0.22 c 4 solvers in parallel 0.35/0.28 c parse instance... 4.67/1.64 c solve instance... 5.01/1.75 o 348 5.40/1.83 o 298 5.40/1.84 o 297 5.40/1.85 o 296 5.40/1.86 o 295 5.40/1.86 o 294 5.40/1.87 o 293 5.40/1.87 o 292 5.40/1.87 o 291 5.40/1.88 o 290 5.40/1.88 o 289 5.40/1.89 o 288 5.40/1.89 o 287 5.77/1.90 o 286 5.77/1.90 o 285 5.77/1.91 o 284 5.77/1.91 o 283 5.77/1.91 o 282 5.77/1.92 o 281 5.77/2.00 o 280 6.10/2.01 o 279 6.10/2.02 o 278 6.10/2.03 o 277 6.10/2.03 o 276 6.10/2.03 o 275 6.10/2.04 o 274 6.10/2.04 o 273 6.10/2.04 o 272 6.10/2.05 o 271 6.10/2.06 o 270 6.10/2.07 o 269 6.10/2.08 o 268 6.10/2.08 o 267 6.10/2.09 o 266 6.10/2.09 o 265 6.10/2.10 o 264 6.10/2.10 o 263 6.44/2.13 o 262 6.44/2.13 o 261 6.44/2.14 o 260 6.44/2.14 o 259 6.44/2.14 o 258 6.44/2.15 o 257 6.44/2.15 o 256 6.44/2.15 o 255 6.44/2.15 o 254 6.44/2.16 o 253 6.44/2.16 o 252 6.44/2.16 o 251 6.44/2.17 o 250 6.44/2.19 o 249 6.77/2.20 o 248 6.77/2.20 o 247 6.77/2.20 o 246 6.77/2.20 o 245 6.77/2.21 o 244 6.77/2.24 o 243 6.77/2.24 o 242 6.77/2.25 o 241 6.77/2.25 o 240 6.77/2.26 o 239 6.77/2.26 o 238 6.77/2.27 o 237 6.77/2.27 o 236 6.77/2.27 o 235 6.77/2.27 o 234 6.77/2.28 o 233 7.08/2.30 o 232 7.08/2.30 o 231 7.08/2.31 o 230 7.08/2.31 o 229 7.08/2.31 o 228 7.08/2.31 o 227 7.08/2.31 o 226 7.08/2.31 o 225 7.08/2.33 o 224 7.08/2.33 o 223 7.08/2.34 o 222 7.08/2.34 o 221 7.08/2.34 o 220 7.08/2.34 o 219 7.08/2.34 o 218 7.08/2.36 o 217 7.08/2.37 o 216 7.08/2.37 o 215 7.08/2.38 o 214 7.08/2.38 o 213 7.08/2.39 o 212 7.34/2.40 o 211 7.34/2.40 o 210 7.34/2.41 o 209 7.34/2.42 o 208 7.34/2.42 o 207 7.34/2.47 o 206 7.34/2.48 o 205 7.34/2.49 o 204 7.34/2.49 o 203 7.65/2.51 o 202 7.65/2.51 o 201 7.65/2.51 o 200 7.65/2.52 o 199 7.65/2.52 o 198 7.65/2.53 o 197 7.65/2.53 o 196 7.65/2.53 o 195 7.65/2.53 o 194 7.65/2.54 o 193 7.65/2.54 o 192 7.65/2.55 o 191 7.65/2.55 o 190 7.65/2.55 o 189 7.65/2.55 o 188 7.65/2.55 o 187 7.65/2.55 o 186 8.01/2.61 o 185 8.01/2.61 o 183 8.01/2.61 o 182 8.01/2.62 o 181 8.01/2.62 o 180 8.01/2.63 o 179 8.01/2.65 o 178 8.01/2.65 o 177 8.01/2.66 o 176 8.01/2.66 o 174 8.01/2.67 o 172 8.01/2.67 o 171 8.01/2.67 o 170 8.01/2.68 o 168 8.01/2.68 o 166 8.32/2.70 o 165 15.06/4.43 s OPTIMUM FOUND 15.06/4.43 v <instantiation> 15.06/4.43 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] 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> 15.06/4.43 v <values>0 1 2 3 4 5 6 7 8 9 10 11 12 14 19 15 16 17 13 24 20 21 22 18 23 0 0 0 0 0 0 0 0 0 0 0 0 0 13 1 0 0 0 1 9 0 0 0 8 18 18 19 14 18 13 18 14 23 14 13 14 14 13 23 13 14 23 13 18 13 19 19 23 19 23 14 13 14 18 18 4 1 5 1 1 5 7 11 8 1 2 1 4 1 6 5 5 6 4 4 1 7 2 2 6 2 4 1 2 6 </values> 15.06/4.43 v </instantiation>
OK 165
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 (7704 MiB free)
memory of node 1: 16384 MiB (9584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394176-1568330756/watcher-4394176-1568330756 -o /tmp/evaluation-result-4394176-1568330756/solver-4394176-1568330756 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1457802311 HOME/instance-4394176-1568330756.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=25660, runsolver pid=25657
[startup+0.100085 s]*
/proc/loadavg: 8.38 8.40 6.68 9/233 25676
/proc/meminfo: memFree=17688748/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
[pid=25662] ppid=25660 vsize=15144768 memory=27484 CPUtime=0.13 cores=1,3,5,7
/proc/25662/stat : 25662 (java) S 25660 25660 18186 0 -1 1077944320 5820 0 0 0 12 1 0 0 20 0 15 0 409015802 15508242432 6871 33554432000 4194304 4196468 140736562195200 140736562177744 140052270595831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
/proc/25662/statm: 3786192 6871 3144 1 0 3748377 0
[pid=25662/tid=25663] ppid=25660 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25662/task/25663/stat : 25663 (java) R 25660 25660 18186 0 -1 4202560 3640 0 0 0 9 0 0 0 20 0 15 0 409015803 15508242432 6871 33554432000 4194304 4196468 140736562195200 140052274817888 140052270607766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25664] ppid=25660 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25664/stat : 25664 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051862915472 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25665] ppid=25660 vsize=15144768 memory=139867665770112 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25665/stat : 25665 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051861862672 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25666] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25666/stat : 25666 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051860810384 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25667] ppid=25660 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25667/stat : 25667 (java) S 25660 25660 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051859757584 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25668] ppid=25660 vsize=15144768 memory=139867665770112 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25668/stat : 25668 (java) S 25660 25660 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409015805 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051739085424 140052270606978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25669] ppid=25660 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25669/stat : 25669 (java) S 25660 25660 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409015805 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051738031392 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25670] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25670/stat : 25670 (java) S 25660 25660 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409015805 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051736979056 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25671] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25671/stat : 25671 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051735927376 140052270614427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25672] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25672/stat : 25672 (java) R 25660 25660 18186 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051734874224 140052270606978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25673] ppid=25660 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25673/stat : 25673 (java) S 25660 25660 18186 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051733821424 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25674] ppid=25660 vsize=15144768 memory=139867665770112 CPUtime=0.02 cores=1,3,5,7
/proc/25662/task/25674/stat : 25674 (java) R 25660 25660 18186 0 -1 4202560 405 0 0 0 2 0 0 0 20 0 15 0 409015808 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051732769136 140052254676318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25675] ppid=25660 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25675/stat : 25675 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051731716576 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25676] ppid=25660 vsize=15144768 memory=139867665770112 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25676/stat : 25676 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 6871 33554432000 4194304 4196468 140736562195200 140051730664368 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28936 KiB
[startup+0.210737 s]*
/proc/loadavg: 8.38 8.40 6.68 8/233 25676
/proc/meminfo: memFree=17675632/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
[pid=25662] ppid=25660 vsize=15144768 memory=39788 CPUtime=0.35 cores=1,3,5,7
/proc/25662/stat : 25662 (java) S 25660 25660 18186 0 -1 1077944320 9685 0 0 0 32 3 0 0 20 0 15 0 409015802 15508242432 9947 33554432000 4194304 4196468 140736562195200 140736562177744 140052270595831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
/proc/25662/statm: 3786192 9947 3317 1 0 3748377 0
[pid=25662/tid=25663] ppid=25660 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25662/task/25663/stat : 25663 (java) R 25660 25660 18186 0 -1 4202560 6661 0 0 0 18 2 0 0 20 0 15 0 409015803 15508242432 9947 33554432000 4194304 4196468 140736562195200 140052274829536 140052270607766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25664] ppid=25660 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25664/stat : 25664 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051862915472 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25665] ppid=25660 vsize=15144768 memory=3977155030532531872 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25665/stat : 25665 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051861862672 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25666] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25666/stat : 25666 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051860810384 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25667] ppid=25660 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25667/stat : 25667 (java) S 25660 25660 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409015803 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051859757584 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25668] ppid=25660 vsize=15144768 memory=139867665770112 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25668/stat : 25668 (java) S 25660 25660 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409015805 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051739085424 140052270606978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25669] ppid=25660 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25669/stat : 25669 (java) S 25660 25660 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409015805 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051738031392 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25670] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25670/stat : 25670 (java) S 25660 25660 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409015805 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051736979056 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25671] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25671/stat : 25671 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051735927376 140052270614427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25672] ppid=25660 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25662/task/25672/stat : 25672 (java) S 25660 25660 18186 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 409015808 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051734874224 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25673] ppid=25660 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25662/task/25673/stat : 25673 (java) S 25660 25660 18186 0 -1 1077944384 324 0 0 0 3 0 0 0 20 0 15 0 409015808 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051733821424 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25674] ppid=25660 vsize=15144768 memory=139867665770112 CPUtime=0.08 cores=1,3,5,7
/proc/25662/task/25674/stat : 25674 (java) R 25660 25660 18186 0 -1 4202560 906 0 0 0 8 0 0 0 20 0 15 0 409015808 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051732768944 140052250784445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25675] ppid=25660 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25675/stat : 25675 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051731716576 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25676] ppid=25660 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25676/stat : 25676 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015808 15508242432 9947 33554432000 4194304 4196468 140736562195200 140051730664368 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41240 KiB
[startup+0.319989 s]*
/proc/loadavg: 8.38 8.40 6.68 7/233 25676
/proc/meminfo: memFree=17667248/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
[pid=25662] ppid=25660 vsize=15149024 memory=49260 CPUtime=0.54 cores=1,3,5,7
/proc/25662/stat : 25662 (java) S 25660 25660 18186 0 -1 1077944320 11262 0 0 0 51 3 0 0 20 0 15 0 409015802 15512600576 12315 33554432000 4194304 4196468 140736562195200 140736562177744 140052270595831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
/proc/25662/statm: 3787256 12315 3357 1 0 3748377 0
[pid=25662/tid=25663] ppid=25660 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25662/task/25663/stat : 25663 (java) R 25660 25660 18186 0 -1 4202560 7927 0 0 0 28 2 0 0 20 0 15 0 409015803 15512600576 12380 33554432000 4194304 4196468 140736562195200 140052274825312 140052254676318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25664] ppid=25660 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25664/stat : 25664 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051862915472 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25665] ppid=25660 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25665/stat : 25665 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051861862672 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25666] ppid=25660 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25666/stat : 25666 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051860810384 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25667] ppid=25660 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25667/stat : 25667 (java) S 25660 25660 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409015803 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051859757584 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25668] ppid=25660 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25668/stat : 25668 (java) S 25660 25660 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409015805 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051739085424 140052270606978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25669] ppid=25660 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25669/stat : 25669 (java) S 25660 25660 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409015805 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051738031392 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25670] ppid=25660 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25670/stat : 25670 (java) S 25660 25660 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409015805 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051736979056 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25671] ppid=25660 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25671/stat : 25671 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051735927376 140052270614427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25672] ppid=25660 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/25662/task/25672/stat : 25672 (java) S 25660 25660 18186 0 -1 1077944384 519 0 0 0 4 0 0 0 20 0 15 0 409015808 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051734874224 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25673] ppid=25660 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25662/task/25673/stat : 25673 (java) S 25660 25660 18186 0 -1 1077944384 440 0 0 0 5 0 0 0 20 0 15 0 409015808 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051733821424 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25674] ppid=25660 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25662/task/25674/stat : 25674 (java) R 25660 25660 18186 0 -1 4202560 1071 0 0 0 12 0 0 0 20 0 15 0 409015808 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051732769136 140052270617178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25675] ppid=25660 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25675/stat : 25675 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051731716576 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25676] ppid=25660 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25676/stat : 25676 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015808 15512600576 12380 33554432000 4194304 4196468 140736562195200 140051730664368 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50712 KiB
[startup+0.702399 s]
/proc/loadavg: 8.38 8.40 6.68 9/233 25676
/proc/meminfo: memFree=17649484/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
[pid=25662] ppid=25660 vsize=15151148 memory=83792 CPUtime=1.75 cores=1,3,5,7
/proc/25662/stat : 25662 (java) S 25660 25660 18186 0 -1 1077944320 15159 0 0 0 171 4 0 0 20 0 15 0 409015802 15514775552 20948 33554432000 4194304 4196468 140736562195200 140736562177744 140052270595831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
/proc/25662/statm: 3787787 20948 3453 1 0 3748889 0
[pid=25662/tid=25663] ppid=25660 vsize=15151148 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/25662/task/25663/stat : 25663 (java) R 25660 25660 18186 0 -1 4202560 8625 0 0 0 65 3 0 0 20 0 15 0 409015803 15514775552 20948 33554432000 4194304 4196468 140736562195200 140052274833104 140052270607766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25664] ppid=25660 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25664/stat : 25664 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051862915472 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25665] ppid=25660 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25665/stat : 25665 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051861862672 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25666] ppid=25660 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25666/stat : 25666 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015803 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051860810384 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25667] ppid=25660 vsize=15151148 memory=38304 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25667/stat : 25667 (java) S 25660 25660 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409015803 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051859757584 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25668] ppid=25660 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25668/stat : 25668 (java) S 25660 25660 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409015805 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051739085424 140052270606978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25669] ppid=25660 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25669/stat : 25669 (java) S 25660 25660 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409015805 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051738031392 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25670] ppid=25660 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25670/stat : 25670 (java) S 25660 25660 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409015805 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051736979056 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25671] ppid=25660 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25671/stat : 25671 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051735927376 140052270614427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25672] ppid=25660 vsize=15151148 memory=1720 CPUtime=0.32 cores=1,3,5,7
/proc/25662/task/25672/stat : 25672 (java) R 25660 25660 18186 0 -1 4202560 1481 0 0 0 32 0 0 0 20 0 15 0 409015808 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051734860736 140052252118318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25673] ppid=25660 vsize=15151148 memory=10604 CPUtime=0.32 cores=1,3,5,7
/proc/25662/task/25673/stat : 25673 (java) R 25660 25660 18186 0 -1 4202560 1349 0 0 0 32 0 0 0 20 0 15 0 409015808 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051733808656 140052254989584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25674] ppid=25660 vsize=15151148 memory=3360 CPUtime=0.41 cores=1,3,5,7
/proc/25662/task/25674/stat : 25674 (java) R 25660 25660 18186 0 -1 1077944384 2398 0 0 0 41 0 0 0 20 0 15 0 409015808 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051732769136 140052270606978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25675] ppid=25660 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25675/stat : 25675 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409015808 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051731716576 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25676] ppid=25660 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25676/stat : 25676 (java) S 25660 25660 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409015808 15514775552 20948 33554432000 4194304 4196468 140736562195200 140051730664368 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 85244 KiB
[startup+1.50394 s]
/proc/loadavg: 8.38 8.40 6.68 8/233 25676
/proc/meminfo: memFree=17557772/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25662/task/26200/stat : 26200 (java) R 25660 25660 18186 0 -1 4202560 243 0 0 0 29 0 0 0 20 0 19 0 409016073 15994003456 163476 33554432000 4194304 4196468 140736562195200 140051718305176 140051916582409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 655356 KiB
[startup+4.45044 s]
# the end of solver process 25660 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.7784 s, system=0.411842 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20119 s]
/proc/loadavg: 8.38 8.40 6.68 13/237 26200
/proc/meminfo: memFree=17061256/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
[pid=25662] ppid=25660 vsize=15619144 memory=654000 CPUtime=10.3 cores=1,3,5,7
/proc/25662/stat : 25662 (java) S 25660 25660 18186 0 -1 1077944320 39748 0 0 0 990 40 0 0 20 0 19 0 409015802 15994003456 163500 33554432000 4194304 4196468 140736562195200 140736562177744 140052270595831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
/proc/25662/statm: 3904786 163500 3531 1 0 3865888 0
[pid=25662/tid=25663] ppid=25660 vsize=15619144 memory=7594585569484302702 CPUtime=1.57 cores=1,3,5,7
/proc/25662/task/25663/stat : 25663 (java) S 25660 25660 18186 0 -1 1077944384 10629 0 0 0 152 5 0 0 20 0 19 0 409015803 15994003456 163500 33554432000 4194304 4196468 140736562195200 140052274836608 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25664] ppid=25660 vsize=15619144 memory=4639074098508484689 CPUtime=0.14 cores=1,3,5,7
/proc/25662/task/25664/stat : 25664 (java) S 25660 25660 18186 0 -1 1077944384 412 0 0 0 9 5 0 0 20 0 19 0 409015803 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051862915472 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25665] ppid=25660 vsize=15619144 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/25662/task/25665/stat : 25665 (java) S 25660 25660 18186 0 -1 1077944384 477 0 0 0 9 5 0 0 20 0 19 0 409015803 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051861862672 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25666] ppid=25660 vsize=15619144 memory=4420 CPUtime=0.15 cores=1,3,5,7
/proc/25662/task/25666/stat : 25666 (java) S 25660 25660 18186 0 -1 1077944384 305 0 0 0 10 5 0 0 20 0 19 0 409015803 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051860810384 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25667] ppid=25660 vsize=15619144 memory=6628 CPUtime=0.12 cores=1,3,5,7
/proc/25662/task/25667/stat : 25667 (java) S 25660 25660 18186 0 -1 1077944384 267 0 0 0 7 5 0 0 20 0 19 0 409015803 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051859757584 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25668] ppid=25660 vsize=15619144 memory=8836 CPUtime=0.01 cores=1,3,5,7
/proc/25662/task/25668/stat : 25668 (java) S 25660 25660 18186 0 -1 1077944384 588 0 0 0 1 0 0 0 20 0 19 0 409015805 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051739085424 140052270606978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25669] ppid=25660 vsize=15619144 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25669/stat : 25669 (java) S 25660 25660 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 409015805 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051738031456 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25670] ppid=25660 vsize=15619144 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25670/stat : 25670 (java) S 25660 25660 18186 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 409015805 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051736979072 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25671] ppid=25660 vsize=15619144 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25671/stat : 25671 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051735927376 140052270614427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25672] ppid=25660 vsize=15619144 memory=17668 CPUtime=2.3 cores=1,3,5,7
/proc/25662/task/25672/stat : 25672 (java) R 25660 25660 18186 0 -1 4202560 5808 0 0 0 228 2 0 0 20 0 19 0 409015808 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051734863424 140052254983416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25673] ppid=25660 vsize=15619144 memory=19876 CPUtime=2.35 cores=1,3,5,7
/proc/25662/task/25673/stat : 25673 (java) R 25660 25660 18186 0 -1 1077944384 4785 0 0 0 235 0 0 0 20 0 19 0 409015808 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051733821424 140052270606978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25674] ppid=25660 vsize=15619144 memory=22084 CPUtime=0.92 cores=1,3,5,7
/proc/25662/task/25674/stat : 25674 (java) S 25660 25660 18186 0 -1 1077944384 5610 0 0 0 91 1 0 0 20 0 19 0 409015808 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051732769136 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25675] ppid=25660 vsize=15619144 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25675/stat : 25675 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051731716576 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25676] ppid=25660 vsize=15619144 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25676/stat : 25676 (java) S 25660 25660 18186 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051730664368 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26197] ppid=25660 vsize=15619144 memory=28708 CPUtime=0.26 cores=1,3,5,7
/proc/25662/task/26197/stat : 26197 (java) R 25660 25660 18186 0 -1 4202560 33 0 0 0 26 0 0 0 20 0 19 0 409016073 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051715144544 140051908102957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26198] ppid=25660 vsize=15619144 memory=1452 CPUtime=0.25 cores=1,3,5,7
/proc/25662/task/26198/stat : 26198 (java) R 25660 25660 18186 0 -1 4202560 71 0 0 0 25 0 0 0 20 0 19 0 409016073 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051719358456 140051917768075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26199] ppid=25660 vsize=15619144 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25662/task/26199/stat : 26199 (java) R 25660 25660 18186 0 -1 4202560 155 0 0 0 28 0 0 0 20 0 19 0 409016073 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051713039552 140051915415956 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26200] ppid=25660 vsize=15619144 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/25662/task/26200/stat : 26200 (java) R 25660 25660 18186 0 -1 4202560 244 0 0 0 33 0 0 0 20 0 19 0 409016073 15994003456 163500 33554432000 4194304 4196468 140736562195200 140051718306400 140051916582908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 10.3 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 655452 KiB
[startup+4.00094 s]*
/proc/loadavg: 8.38 8.40 6.68 12/237 26200
/proc/meminfo: memFree=17060600/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
[pid=25662] ppid=25660 vsize=15619144 memory=654528 CPUtime=13.5 cores=1,3,5,7
/proc/25662/stat : 25662 (java) S 25660 25660 18186 0 -1 1077944320 40127 0 0 0 1310 40 0 0 20 0 19 0 409015802 15994003456 163632 33554432000 4194304 4196468 140736562195200 140736562177744 140052270595831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
/proc/25662/statm: 3904786 163632 3534 1 0 3865888 0
[pid=25662/tid=25663] ppid=25660 vsize=15619144 memory=6791534058613427641 CPUtime=1.57 cores=1,3,5,7
/proc/25662/task/25663/stat : 25663 (java) S 25660 25660 18186 0 -1 1077944384 10629 0 0 0 152 5 0 0 20 0 19 0 409015803 15994003456 163632 33554432000 4194304 4196468 140736562195200 140052274836608 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25664] ppid=25660 vsize=15619144 memory=4872558044660077418 CPUtime=0.14 cores=1,3,5,7
/proc/25662/task/25664/stat : 25664 (java) S 25660 25660 18186 0 -1 1077944384 412 0 0 0 9 5 0 0 20 0 19 0 409015803 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051862915472 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25665] ppid=25660 vsize=15619144 memory=6944656592455097440 CPUtime=0.14 cores=1,3,5,7
/proc/25662/task/25665/stat : 25665 (java) S 25660 25660 18186 0 -1 1077944384 477 0 0 0 9 5 0 0 20 0 19 0 409015803 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051861862672 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25666] ppid=25660 vsize=15619144 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/25662/task/25666/stat : 25666 (java) S 25660 25660 18186 0 -1 1077944384 305 0 0 0 10 5 0 0 20 0 19 0 409015803 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051860810384 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25667] ppid=25660 vsize=15619144 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25662/task/25667/stat : 25667 (java) S 25660 25660 18186 0 -1 1077944384 267 0 0 0 7 5 0 0 20 0 19 0 409015803 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051859757584 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25668] ppid=25660 vsize=15619144 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25662/task/25668/stat : 25668 (java) S 25660 25660 18186 0 -1 1077944384 588 0 0 0 1 0 0 0 20 0 19 0 409015805 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051739085424 140052270606978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25669] ppid=25660 vsize=15619144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25669/stat : 25669 (java) S 25660 25660 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 409015805 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051738031456 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25670] ppid=25660 vsize=15619144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25670/stat : 25670 (java) S 25660 25660 18186 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 409015805 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051736979072 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25671] ppid=25660 vsize=15619144 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25671/stat : 25671 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051735927376 140052270614427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25672] ppid=25660 vsize=15619144 memory=0 CPUtime=2.73 cores=1,3,5,7
/proc/25662/task/25672/stat : 25672 (java) R 25660 25660 18186 0 -1 4202560 5916 0 0 0 271 2 0 0 20 0 19 0 409015808 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051734866712 140052263695748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25673] ppid=25660 vsize=15619144 memory=6944656592455360604 CPUtime=2.64 cores=1,3,5,7
/proc/25662/task/25673/stat : 25673 (java) R 25660 25660 18186 0 -1 4202560 4843 0 0 0 264 0 0 0 20 0 19 0 409015808 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051733807968 140052254122353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25674] ppid=25660 vsize=15619144 memory=6944656575208382560 CPUtime=0.95 cores=1,3,5,7
/proc/25662/task/25674/stat : 25674 (java) S 25660 25660 18186 0 -1 1077944384 5658 0 0 0 94 1 0 0 20 0 19 0 409015808 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051732769136 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25675] ppid=25660 vsize=15619144 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25675/stat : 25675 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051731716576 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25676] ppid=25660 vsize=15619144 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25676/stat : 25676 (java) R 25660 25660 18186 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051730664368 140052270606978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26197] ppid=25660 vsize=15619144 memory=6944656592455360604 CPUtime=0.89 cores=1,3,5,7
/proc/25662/task/26197/stat : 26197 (java) R 25660 25660 18186 0 -1 4202560 45 0 0 0 89 0 0 0 20 0 19 0 409016073 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051715145320 140051911366087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26198] ppid=25660 vsize=15619144 memory=6944656592455360604 CPUtime=0.71 cores=1,3,5,7
/proc/25662/task/26198/stat : 26198 (java) R 25660 25660 18186 0 -1 4202560 221 0 0 0 71 0 0 0 20 0 19 0 409016073 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051719356968 140051916838348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26199] ppid=25660 vsize=15619144 memory=6944656575208382560 CPUtime=0.96 cores=1,3,5,7
/proc/25662/task/26199/stat : 26199 (java) R 25660 25660 18186 0 -1 4202560 158 0 0 0 96 0 0 0 20 0 19 0 409016073 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051713039248 140051916487911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26200] ppid=25660 vsize=15619144 memory=3821650026097566580 CPUtime=1.02 cores=1,3,5,7
/proc/25662/task/26200/stat : 26200 (java) R 25660 25660 18186 0 -1 4202560 248 0 0 0 102 0 0 0 20 0 19 0 409016073 15994003456 163632 33554432000 4194304 4196468 140736562195200 140051718305720 140051916582606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 13.5 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 655980 KiB
[startup+4.40083 s]
/proc/loadavg: 8.38 8.40 6.68 12/237 26200
/proc/meminfo: memFree=17060600/32770624 swapFree=66959212/67108860
[pid=25660] ppid=25657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (xcsp3-exec) S 25657 25660 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409015802 115843072 363 33554432000 4194304 5098028 140729398248720 140729398246824 139818519835260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19263488 140729398256506 140729398256749 140729398256749 140729398259658 0
/proc/25660/statm: 28282 363 304 221 0 87 0
[pid=25662] ppid=25660 vsize=15619144 memory=654784 CPUtime=15.06 cores=1,3,5,7
/proc/25662/stat : 25662 (java) S 25660 25660 18186 0 -1 1077944320 41142 0 0 0 1466 40 0 0 20 0 19 0 409015802 15994003456 163696 33554432000 4194304 4196468 140736562195200 140736562177744 140052270595831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
/proc/25662/statm: 3904786 163696 3534 1 0 3865888 0
[pid=25662/tid=25663] ppid=25660 vsize=15619144 memory=1350 CPUtime=1.57 cores=1,3,5,7
/proc/25662/task/25663/stat : 25663 (java) S 25660 25660 18186 0 -1 1077944384 10629 0 0 0 152 5 0 0 20 0 19 0 409015803 15994003456 163696 33554432000 4194304 4196468 140736562195200 140052274836608 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25664] ppid=25660 vsize=15619144 memory=27076 CPUtime=0.14 cores=1,3,5,7
/proc/25662/task/25664/stat : 25664 (java) S 25660 25660 18186 0 -1 1077944384 412 0 0 0 9 5 0 0 20 0 19 0 409015803 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051862915472 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25665] ppid=25660 vsize=15619144 memory=1 CPUtime=0.14 cores=1,3,5,7
/proc/25662/task/25665/stat : 25665 (java) S 25660 25660 18186 0 -1 1077944384 477 0 0 0 9 5 0 0 20 0 19 0 409015803 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051861862672 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25666] ppid=25660 vsize=15619144 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/25662/task/25666/stat : 25666 (java) S 25660 25660 18186 0 -1 1077944384 305 0 0 0 10 5 0 0 20 0 19 0 409015803 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051860810384 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25667] ppid=25660 vsize=15619144 memory=57 CPUtime=0.12 cores=1,3,5,7
/proc/25662/task/25667/stat : 25667 (java) S 25660 25660 18186 0 -1 1077944384 267 0 0 0 7 5 0 0 20 0 19 0 409015803 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051859757584 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25668] ppid=25660 vsize=15619144 memory=5794251801077829732 CPUtime=0.01 cores=1,3,5,7
/proc/25662/task/25668/stat : 25668 (java) S 25660 25660 18186 0 -1 1077944384 588 0 0 0 1 0 0 0 20 0 19 0 409015805 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051739085424 140052270606978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25669] ppid=25660 vsize=15619144 memory=7738970184734367851 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25669/stat : 25669 (java) S 25660 25660 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 409015805 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051738031456 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25670] ppid=25660 vsize=15619144 memory=7805974384891420736 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25670/stat : 25670 (java) S 25660 25660 18186 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 409015805 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051736979072 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25671] ppid=25660 vsize=15619144 memory=6444759241682674790 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25671/stat : 25671 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051735927376 140052270614427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25672] ppid=25660 vsize=15619144 memory=7523097535404204655 CPUtime=2.94 cores=1,3,5,7
/proc/25662/task/25672/stat : 25672 (java) R 25660 25660 18186 0 -1 4202560 6246 0 0 0 292 2 0 0 20 0 19 0 409015808 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051734874144 140052251295349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25673] ppid=25660 vsize=15619144 memory=7295950579139439975 CPUtime=2.82 cores=1,3,5,7
/proc/25662/task/25673/stat : 25673 (java) S 25660 25660 18186 0 -1 1077944384 4995 0 0 0 282 0 0 0 20 0 19 0 409015808 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051733821424 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25674] ppid=25660 vsize=15619144 memory=4639939496134862184 CPUtime=0.96 cores=1,3,5,7
/proc/25662/task/25674/stat : 25674 (java) S 25660 25660 18186 0 -1 1077944384 6170 0 0 0 95 1 0 0 20 0 19 0 409015808 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051732769136 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25675] ppid=25660 vsize=15619144 memory=4639939496134862184 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25675/stat : 25675 (java) S 25660 25660 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051731716576 140052270606037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=25676] ppid=25660 vsize=15619144 memory=6370155173630722145 CPUtime=0 cores=1,3,5,7
/proc/25662/task/25676/stat : 25676 (java) S 25660 25660 18186 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 409015808 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051730664368 140052270606978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26197] ppid=25660 vsize=15619144 memory=7451317091158747496 CPUtime=1.14 cores=1,3,5,7
/proc/25662/task/26197/stat : 26197 (java) R 25660 25660 18186 0 -1 4202560 45 0 0 0 114 0 0 0 20 0 19 0 409016073 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051715144760 140051916807192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26198] ppid=25660 vsize=15619144 memory=7377575045409040448 CPUtime=0.97 cores=1,3,5,7
/proc/25662/task/26198/stat : 26198 (java) R 25660 25660 18186 0 -1 4202560 236 0 0 0 97 0 0 0 20 0 19 0 409016073 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051719357144 140051915415833 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26199] ppid=25660 vsize=15619144 memory=7093003818064964706 CPUtime=1.29 cores=1,3,5,7
/proc/25662/task/26199/stat : 26199 (java) R 25660 25660 18186 0 -1 4202560 159 0 0 0 129 0 0 0 20 0 19 0 409016073 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051713042808 140051915503946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
[pid=25662/tid=26200] ppid=25660 vsize=15619144 memory=7512114543601282149 CPUtime=1.32 cores=1,3,5,7
/proc/25662/task/26200/stat : 26200 (java) R 25660 25660 18186 0 -1 4202560 248 0 0 0 132 0 0 0 20 0 19 0 409016073 15994003456 163696 33554432000 4194304 4196468 140736562195200 140051718303528 140051915415732 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26791936 140736562197487 140736562197658 140736562197658 140736562200527 0
Current children cumulated CPU time: 15.06 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 656236 KiB
Child status: 0
Real time (s): 4.4505
CPU time (s): 15.1902
CPU user time (s): 14.7784
CPU system time (s): 0.411842
CPU usage (%): 341.315
Max. virtual memory (cumulated for all children) (KiB): 15732272
Max. memory (cumulated for all children) (KiB): 656236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.7784
system time used= 0.411842
maximum resident set size= 657276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41808
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= 5441
involuntary context switches= 488
# summary of solver processes directly reported to runsolver:
# pid: 25660
# total CPU time (s): 15.1902
# total CPU user time (s): 14.7784
# total CPU system time (s): 0.411842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050822 second user time and 0.0993 second system time
The end
Begin job on node124 at 2019-09-13 01:25:16 IDJOB=4394176 IDBENCH=126837 IDSOLVER=2842 FILE ID=node124/4394176-1568330756 RUNJOBID= node124-1568329129-18218 PBS_JOBID= 21701157 Free space on /tmp= 55340 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-5-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-4394176-1568330756/watcher-4394176-1568330756 -o /tmp/evaluation-result-4394176-1568330756/solver-4394176-1568330756 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1457802311 HOME/instance-4394176-1568330756.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af05408dbf994167098c19a92e91e627 RANDOM SEED=1457802311 node124.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.47 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.47 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.47 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.47 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: 17703900 kB MemAvailable: 29582632 kB Buffers: 159148 kB Cached: 11882956 kB SwapCached: 45868 kB Active: 3223300 kB Inactive: 11098892 kB Active(anon): 2235500 kB Inactive(anon): 85948 kB Active(file): 987800 kB Inactive(file): 11012944 kB Unevictable: 108768 kB Mlocked: 108768 kB SwapTotal: 67108860 kB SwapFree: 66959212 kB Dirty: 26308 kB Writeback: 0 kB AnonPages: 2390924 kB Mapped: 56176 kB Shmem: 32744 kB Slab: 335876 kB SReclaimable: 306448 kB SUnreclaim: 29428 kB KernelStack: 4112 kB PageTables: 10372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3351472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2271232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55316 MiB End job on node124 at 2019-09-13 01:25:21