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 | 164 | 8.81271 | 2.89493 |
| 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.325758 |
| 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-4393271-1568317579.xml" -tl '2520s' -p 4 0.13/0.17 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393271-1568317579.xml, -tl, 2520s, -p, 4] 0.13/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 3.67/1.39 c solve instance... 5.00/1.70 o 351 5.00/1.70 o 325 5.13/1.71 o 303 5.13/1.72 o 302 5.13/1.72 o 301 5.13/1.72 o 300 5.13/1.72 o 299 5.13/1.73 o 298 5.13/1.73 o 297 5.13/1.73 o 296 5.13/1.74 o 295 5.13/1.74 o 294 5.13/1.74 o 293 5.13/1.74 o 292 5.13/1.75 o 291 5.13/1.78 o 290 5.13/1.78 o 289 5.47/1.81 o 288 5.47/1.81 o 287 5.47/1.81 o 286 5.47/1.82 o 285 5.47/1.82 o 284 5.47/1.82 o 283 5.47/1.82 o 282 5.47/1.83 o 281 5.47/1.83 o 280 5.47/1.83 o 279 5.47/1.83 o 278 5.47/1.83 o 277 5.47/1.84 o 276 5.47/1.84 o 275 5.47/1.84 o 274 5.47/1.85 o 273 5.47/1.85 o 272 5.47/1.86 o 271 5.47/1.86 o 270 5.47/1.86 o 269 5.47/1.87 o 268 5.47/1.87 o 267 5.82/1.92 o 266 5.82/1.92 o 265 5.82/1.92 o 264 5.82/1.92 o 263 5.82/1.92 o 262 5.82/1.93 o 261 5.82/1.93 o 260 5.82/1.93 o 259 5.82/1.96 o 258 5.82/1.96 o 257 5.82/1.96 o 256 5.82/1.96 o 255 5.82/1.96 o 254 5.82/1.97 o 253 5.82/1.97 o 252 5.82/1.97 o 251 5.82/1.97 o 250 5.82/1.97 o 249 5.82/1.97 o 248 5.82/1.98 o 229 5.82/2.01 o 228 6.10/2.01 o 227 6.10/2.02 o 226 6.10/2.02 o 225 6.10/2.02 o 224 6.10/2.03 o 223 6.10/2.04 o 222 6.10/2.04 o 221 6.10/2.06 o 220 6.10/2.06 o 219 6.10/2.06 o 218 6.10/2.08 o 217 6.10/2.08 o 216 6.10/2.10 o 215 6.36/2.12 o 214 6.36/2.12 o 213 6.36/2.14 o 212 6.36/2.16 o 211 6.36/2.16 o 210 6.36/2.16 o 209 6.36/2.18 o 208 6.60/2.20 o 207 6.60/2.20 o 206 6.60/2.21 o 205 6.60/2.22 o 204 6.60/2.22 o 203 6.60/2.24 o 202 6.60/2.25 o 201 6.60/2.25 o 200 6.60/2.26 o 199 6.60/2.26 o 198 6.60/2.26 o 197 6.60/2.27 o 196 6.60/2.27 o 195 6.60/2.28 o 194 6.60/2.28 o 193 6.60/2.29 o 192 6.60/2.29 o 191 6.60/2.29 o 190 6.93/2.32 o 189 6.93/2.33 o 188 6.93/2.33 o 187 6.93/2.35 o 186 6.93/2.37 o 185 6.93/2.39 o 184 7.15/2.40 o 183 7.15/2.42 o 182 7.15/2.43 o 181 7.15/2.43 o 180 7.15/2.43 o 179 7.15/2.44 o 178 7.15/2.45 o 177 7.15/2.45 o 176 7.15/2.45 o 175 7.15/2.46 o 174 7.15/2.46 o 173 7.15/2.47 o 172 7.15/2.47 o 171 7.15/2.47 o 170 7.15/2.48 o 169 7.15/2.48 o 168 7.15/2.48 o 167 7.40/2.50 o 166 7.40/2.51 o 165 7.40/2.51 o 164 8.57/2.85 s OPTIMUM FOUND 8.57/2.85 v <instantiation> 8.57/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.57/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.57/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 (3295 MiB free)
memory of node 1: 16384 MiB (15255 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393271-1568317579/watcher-4393271-1568317579 -o /tmp/evaluation-result-4393271-1568317579/solver-4393271-1568317579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 530692906 HOME/instance-4393271-1568317579.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18115, runsolver pid=18112
[startup+0.100688 s]*
/proc/loadavg: 8.35 8.21 8.15 7/233 18131
/proc/meminfo: memFree=18979524/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
[pid=18117] ppid=18115 vsize=15144768 memory=29360 CPUtime=0.13 cores=1,3,5,7
/proc/18117/stat : 18117 (java) S 18115 18115 14254 0 -1 1077944320 5793 0 0 0 12 1 0 0 20 0 15 0 408013950 15508242432 7340 33554432000 4194304 4196468 140731046807952 140731046790496 140438497566455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
/proc/18117/statm: 3786192 7340 3150 1 0 3748377 0
[pid=18117/tid=18118] ppid=18115 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (java) R 18115 18115 14254 0 -1 4202560 3663 0 0 0 8 1 0 0 20 0 15 0 408013950 15508242432 7340 33554432000 4194304 4196468 140731046807952 140438501787728 140438489803582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18119] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 7340 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15144768 memory=288370730529453696 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 7340 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 7340 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 7340 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013952 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013953 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437964646048 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013953 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437963592944 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013955 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) S 18115 18115 14254 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 408013955 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437961488624 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) R 18115 18115 14254 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 408013955 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437960436080 140438497577602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15144768 memory=140354377741952 CPUtime=0.02 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) R 18115 18115 14254 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 408013955 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437959383024 140438476215540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013956 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013956 15508242432 7340 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30808 KiB
[startup+0.211118 s]*
/proc/loadavg: 8.35 8.21 8.15 6/233 18131
/proc/meminfo: memFree=18967500/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
[pid=18117] ppid=18115 vsize=15144768 memory=41244 CPUtime=0.34 cores=1,3,5,7
/proc/18117/stat : 18117 (java) S 18115 18115 14254 0 -1 1077944320 9505 0 0 0 32 2 0 0 20 0 15 0 408013950 15508242432 10311 33554432000 4194304 4196468 140731046807952 140731046790496 140438497566455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
/proc/18117/statm: 3786192 10311 3308 1 0 3748377 0
[pid=18117/tid=18118] ppid=18115 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (java) R 18115 18115 14254 0 -1 4202560 6663 0 0 0 18 2 0 0 20 0 15 0 408013950 15508242432 10311 33554432000 4194304 4196468 140731046807952 140438501802592 140438481646942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18119] ppid=18115 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 10311 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15144768 memory=140354377758219 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 10311 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 10311 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013951 15508242432 10311 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15144768 memory=140354377741952 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408013952 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013953 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437964646048 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013953 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437963592944 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013955 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) S 18115 18115 14254 0 -1 1077944384 731 0 0 0 3 0 0 0 20 0 15 0 408013955 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437961488624 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) S 18115 18115 14254 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 15 0 408013955 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437960436080 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15144768 memory=140354377741952 CPUtime=0.08 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) S 18115 18115 14254 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 15 0 408013955 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437959383024 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013956 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013956 15508242432 10311 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42692 KiB
[startup+0.310916 s]*
/proc/loadavg: 8.35 8.21 8.15 7/233 18131
/proc/meminfo: memFree=18959992/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
[pid=18117] ppid=18115 vsize=15149024 memory=50260 CPUtime=0.53 cores=1,3,5,7
/proc/18117/stat : 18117 (java) S 18115 18115 14254 0 -1 1077944320 10923 0 0 0 50 3 0 0 20 0 15 0 408013950 15512600576 12565 33554432000 4194304 4196468 140731046807952 140731046790496 140438497566455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
/proc/18117/statm: 3787256 12565 3357 1 0 3748377 0
[pid=18117/tid=18118] ppid=18115 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (java) R 18115 18115 14254 0 -1 4202560 7868 0 0 0 27 3 0 0 20 0 15 0 408013950 15512600576 12565 33554432000 4194304 4196468 140731046807952 140438501797568 140438481646942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18119] ppid=18115 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15512600576 12565 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15512600576 12565 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15512600576 12565 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013951 15512600576 12565 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15149024 memory=-7377628861284532383 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408013952 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013953 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437964646048 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013953 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437963592944 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013955 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) S 18115 18115 14254 0 -1 1077944384 825 0 0 0 6 0 0 0 20 0 15 0 408013955 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437961488624 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) S 18115 18115 14254 0 -1 1077944384 104 0 0 0 3 0 0 0 20 0 15 0 408013955 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437960436080 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) S 18115 18115 14254 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 15 0 408013955 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437959383024 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013956 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013956 15512600576 12565 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51708 KiB
[startup+0.701332 s]
/proc/loadavg: 8.35 8.21 8.15 9/233 18131
/proc/meminfo: memFree=18941944/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
[pid=18117] ppid=18115 vsize=15151148 memory=83348 CPUtime=1.71 cores=1,3,5,7
/proc/18117/stat : 18117 (java) S 18115 18115 14254 0 -1 1077944320 15024 0 0 0 165 6 0 0 20 0 15 0 408013950 15514775552 20837 33554432000 4194304 4196468 140731046807952 140731046790496 140438497566455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
/proc/18117/statm: 3787787 20837 3451 1 0 3748889 0
[pid=18117/tid=18118] ppid=18115 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (java) R 18115 18115 14254 0 -1 4202560 9096 0 0 0 64 3 0 0 20 0 15 0 408013950 15514775552 20837 33554432000 4194304 4196468 140731046807952 140438501801840 140438497578390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18119] ppid=18115 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15514775552 20837 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15514775552 20837 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15151148 memory=708 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013951 15514775552 20837 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15151148 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013951 15514775552 20837 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15151148 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408013952 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013953 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437964646048 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013953 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437963592944 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15151148 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013955 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15151148 memory=3444 CPUtime=0.31 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) R 18115 18115 14254 0 -1 4202560 1563 0 0 0 31 0 0 0 20 0 15 0 408013955 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437961472016 140438476821600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15151148 memory=1556 CPUtime=0.28 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) R 18115 18115 14254 0 -1 4202560 954 0 0 0 28 0 0 0 20 0 15 0 408013955 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437960422648 140438476782657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15151148 memory=2832 CPUtime=0.41 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) S 18115 18115 14254 0 -1 1077944384 2105 0 0 0 41 0 0 0 20 0 15 0 408013955 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437959383024 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013956 15514775552 20837 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013956 15514775552 21349 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 84796 KiB
[startup+1.50833 s]
/proc/loadavg: 8.35 8.21 8.15 9/233 18131
/proc/meminfo: memFree=18877284/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 408013951 15789518848 55190 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15419452 memory=280708459345728 CPUtime=0.01 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 19 0 408013951 15789518848 55190 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15419452 memory=708 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408013951 15789518848 55190 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15419452 memory=9364 CPUtime=0.01 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 19 0 408013951 15789518848 55190 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15419452 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 19 0 408013952 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15419452 memory=776 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408013953 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437964646048 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15419452 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408013953 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437963592944 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15419452 memory=155683974581654 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013955 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15419452 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) R 18115 18115 14254 0 -1 4202560 4375 0 0 0 103 0 0 0 20 0 19 0 408013955 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437961488840 140438481855456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15419452 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) R 18115 18115 14254 0 -1 4202560 3927 0 0 0 105 0 0 0 20 0 19 0 408013955 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437960421880 140438479110228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15419452 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) S 18115 18115 14254 0 -1 1077944384 3463 0 0 0 61 1 0 0 20 0 19 0 408013955 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437959383024 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013956 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 408013956 15789518848 55190 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 222208 KiB
[startup+2.89486 s]
# the end of solver process 18115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.50583 s, system=0.306875 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.66934 s]
/proc/loadavg: 8.35 8.21 8.15 9/233 18131
/proc/meminfo: memFree=18877284/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
[pid=18117] ppid=18115 vsize=15419452 memory=221556 CPUtime=5 cores=1,3,5,7
/proc/18117/stat : 18117 (java) S 18115 18115 14254 0 -1 1077944320 25910 0 0 0 489 11 0 0 20 0 19 0 408013950 15789518848 55389 33554432000 4194304 4196468 140731046807952 140731046790496 140438497566455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
/proc/18117/statm: 3854863 55389 3492 1 0 3815965 0
[pid=18117/tid=18118] ppid=18115 vsize=15419452 memory=149370372622388 CPUtime=1.36 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (java) S 18115 18115 14254 0 -1 1077944384 11802 0 0 0 130 6 0 0 20 0 19 0 408013950 15789518848 55389 33554432000 4194304 4196468 140731046807952 140438501807232 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18119] ppid=18115 vsize=15419452 memory=201704549136302 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 408013951 15789518848 55389 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15419452 memory=217664647608238 CPUtime=0.01 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 19 0 408013951 15789518848 55389 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15419452 memory=217668942579285 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408013951 15789518848 55389 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15419452 memory=217681827481173 CPUtime=0.01 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 19 0 408013951 15789518848 55389 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15419452 memory=201708844103598 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 19 0 408013952 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15419452 memory=218137094010798 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408013953 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437964646048 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15419452 memory=218141388981955 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408013953 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437963592944 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15419452 memory=218154273883843 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013955 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15419452 memory=140355236297461 CPUtime=1.13 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) R 18115 18115 14254 0 -1 4202560 4402 0 0 0 113 0 0 0 20 0 19 0 408013955 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437961470640 140438481030925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15419452 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) R 18115 18115 14254 0 -1 4202560 3989 0 0 0 115 0 0 0 20 0 19 0 408013955 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437960422160 140438482423201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15419452 memory=218154273901962 CPUtime=0.65 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) S 18115 18115 14254 0 -1 1077944384 3530 0 0 0 64 1 0 0 20 0 19 0 408013955 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437959380816 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15419452 memory=218154273901963 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013956 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15419452 memory=33284 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 408013956 15789518848 55389 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 223004 KiB
[startup+2.40078 s]
/proc/loadavg: 8.32 8.21 8.15 7/237 18372
/proc/meminfo: memFree=18650060/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
[pid=18117] ppid=18115 vsize=15487044 memory=404212 CPUtime=7.15 cores=1,3,5,7
/proc/18117/stat : 18117 (java) S 18115 18115 14254 0 -1 1077944320 34252 0 0 0 689 26 0 0 20 0 19 0 408013950 15858733056 101053 33554432000 4194304 4196468 140731046807952 140731046790496 140438497566455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
/proc/18117/statm: 3871761 101053 3524 1 0 3832863 0
[pid=18117/tid=18118] ppid=18115 vsize=15487044 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (java) S 18115 18115 14254 0 -1 1077944384 11809 0 0 0 133 6 0 0 20 0 19 0 408013950 15858733056 101053 33554432000 4194304 4196468 140731046807952 140438501807232 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18119] ppid=18115 vsize=15487044 memory=251980 CPUtime=0.05 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 186 0 0 0 3 2 0 0 20 0 19 0 408013951 15858733056 101053 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15487044 memory=155683974581654 CPUtime=0.07 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 323 0 0 0 4 3 0 0 20 0 19 0 408013951 15858733056 101053 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15487044 memory=280708459352016 CPUtime=0.07 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 216 0 0 0 4 3 0 0 20 0 19 0 408013951 15858733056 101053 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15487044 memory=280708459352388 CPUtime=0.08 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 390 0 0 0 5 3 0 0 20 0 19 0 408013951 15858733056 101053 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15487044 memory=280708459352720 CPUtime=0.01 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 19 0 408013952 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15487044 memory=280708459352784 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408013953 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437964646112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15487044 memory=280708459352976 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408013953 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437963592960 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15487044 memory=280708459353156 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013955 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15487044 memory=280708459353488 CPUtime=1.63 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) R 18115 18115 14254 0 -1 4202560 4559 0 0 0 162 1 0 0 20 0 19 0 408013955 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437961488624 140438482690016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15487044 memory=56 CPUtime=1.56 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) S 18115 18115 14254 0 -1 1077944384 4160 0 0 0 156 0 0 0 20 0 19 0 408013955 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437960436080 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15487044 memory=-2971509717582823231 CPUtime=0.8 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) S 18115 18115 14254 0 -1 1077944384 3835 0 0 0 79 1 0 0 20 0 19 0 408013955 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437959383024 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15487044 memory=7811895302002927206 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013956 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15487044 memory=7372784292875431016 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 408013956 15858733056 101053 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 405660 KiB
[startup+2.80434 s]
/proc/loadavg: 8.32 8.21 8.15 7/237 18372
/proc/meminfo: memFree=18650060/32770624 swapFree=66920712/67108860
[pid=18115] ppid=18112 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18115/stat : 18115 (xcsp3-exec) S 18112 18115 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013950 115843072 362 33554432000 4194304 5098028 140727133847408 140727133845512 140085390676604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34422784 140727133856635 140727133856877 140727133856877 140727133859786 0
/proc/18115/statm: 28282 362 304 221 0 87 0
[pid=18117] ppid=18115 vsize=15487044 memory=573040 CPUtime=8.57 cores=1,3,5,7
/proc/18117/stat : 18117 (java) S 18115 18115 14254 0 -1 1077944320 35396 0 0 0 828 29 0 0 20 0 19 0 408013950 15858733056 143260 33554432000 4194304 4196468 140731046807952 140731046790496 140438497566455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
/proc/18117/statm: 3871761 143260 3528 1 0 3832863 0
[pid=18117/tid=18118] ppid=18115 vsize=15487044 memory=7595146414801577825 CPUtime=1.39 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (java) S 18115 18115 14254 0 -1 1077944384 11809 0 0 0 133 6 0 0 20 0 19 0 408013950 15858733056 143260 33554432000 4194304 4196468 140731046807952 140438501807232 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18119] ppid=18115 vsize=15487044 memory=5794000112018613352 CPUtime=0.05 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (java) S 18115 18115 14254 0 -1 1077944384 186 0 0 0 3 2 0 0 20 0 19 0 408013951 15858733056 143260 33554432000 4194304 4196468 140731046807952 140438454118928 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18120] ppid=18115 vsize=15487044 memory=5931355524047663460 CPUtime=0.07 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (java) S 18115 18115 14254 0 -1 1077944384 323 0 0 0 4 3 0 0 20 0 19 0 408013951 15858733056 143260 33554432000 4194304 4196468 140731046807952 140438453066384 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18121] ppid=18115 vsize=15487044 memory=7147567090883847529 CPUtime=0.07 cores=1,3,5,7
/proc/18117/task/18121/stat : 18121 (java) S 18115 18115 14254 0 -1 1077944384 216 0 0 0 4 3 0 0 20 0 19 0 408013951 15858733056 143260 33554432000 4194304 4196468 140731046807952 140438087588112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18122] ppid=18115 vsize=15487044 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/18117/task/18122/stat : 18122 (java) S 18115 18115 14254 0 -1 1077944384 390 0 0 0 5 3 0 0 20 0 19 0 408013951 15858733056 143260 33554432000 4194304 4196468 140731046807952 140438086535568 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18123] ppid=18115 vsize=15487044 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/18117/task/18123/stat : 18123 (java) S 18115 18115 14254 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 19 0 408013952 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437965699824 140438497577602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18124] ppid=18115 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18124/stat : 18124 (java) S 18115 18115 14254 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408013953 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437964646112 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18125] ppid=18115 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18125/stat : 18125 (java) S 18115 18115 14254 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408013953 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437963592960 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18126] ppid=18115 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18126/stat : 18126 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013955 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437962541520 140438497585051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18127] ppid=18115 vsize=15487044 memory=0 CPUtime=1.82 cores=1,3,5,7
/proc/18117/task/18127/stat : 18127 (java) R 18115 18115 14254 0 -1 4202560 4602 0 0 0 181 1 0 0 20 0 19 0 408013955 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437961488624 140438480779222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18128] ppid=18115 vsize=15487044 memory=0 CPUtime=1.74 cores=1,3,5,7
/proc/18117/task/18128/stat : 18128 (java) R 18115 18115 14254 0 -1 4202560 4257 0 0 0 174 0 0 0 20 0 19 0 408013955 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437960421960 140438482674408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18129] ppid=18115 vsize=15487044 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/18117/task/18129/stat : 18129 (java) S 18115 18115 14254 0 -1 1077944384 3898 0 0 0 83 1 0 0 20 0 19 0 408013955 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437959383024 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18130] ppid=18115 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18130/stat : 18130 (java) S 18115 18115 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013956 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437958330720 140438497576661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
[pid=18117/tid=18131] ppid=18115 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18131/stat : 18131 (java) S 18115 18115 14254 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 408013956 15858733056 143260 33554432000 4194304 4196468 140731046807952 140437957278768 140438497577602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22855680 140731046810607 140731046810778 140731046810778 140731046813647 0
Current children cumulated CPU time: 8.57 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 574488 KiB
Child status: 0
Real time (s): 2.89493
CPU time (s): 8.81271
CPU user time (s): 8.50583
CPU system time (s): 0.306875
CPU usage (%): 304.419
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 574488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.50583
system time used= 0.306875
maximum resident set size= 577492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36239
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= 5081
involuntary context switches= 188
# summary of solver processes directly reported to runsolver:
# pid: 18115
# total CPU time (s): 8.81271
# total CPU user time (s): 8.50583
# total CPU system time (s): 0.306875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039813 second user time and 0.081004 second system time
The end
Begin job on node107 at 2019-09-12 20:44:23 IDJOB=4393271 IDBENCH=126825 IDSOLVER=2840 FILE ID=node107/4393271-1568317579 RUNJOBID= node107-1568308867-14286 PBS_JOBID= 21701131 Free space on /tmp= 55680 MiB SOLVER NAME= choco-solver 2019-06-14 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-4393271-1568317579/watcher-4393271-1568317579 -o /tmp/evaluation-result-4393271-1568317579/solver-4393271-1568317579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 530692906 HOME/instance-4393271-1568317579.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f61e90724cd8b66989ec046e8a3ea41c RANDOM SEED=530692906 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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: 18997172 kB MemAvailable: 19349460 kB Buffers: 115564 kB Cached: 505936 kB SwapCached: 80396 kB Active: 12851632 kB Inactive: 311684 kB Active(anon): 12470884 kB Inactive(anon): 100148 kB Active(file): 380748 kB Inactive(file): 211536 kB Unevictable: 110040 kB Mlocked: 110040 kB SwapTotal: 67108860 kB SwapFree: 66920712 kB Dirty: 26096 kB Writeback: 0 kB AnonPages: 12589604 kB Mapped: 44880 kB Shmem: 20460 kB Slab: 180392 kB SReclaimable: 151680 kB SUnreclaim: 28712 kB KernelStack: 4064 kB PageTables: 30100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 13315664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12414976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 55656 MiB End job on node107 at 2019-09-12 20:44:26