Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 312 | 297.381 | 38.1132 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-5.xml |
MD5SUM | 5197a9101df9cd680fadf9dcc86a0dcb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 312 |
Best CPU time to get the best result obtained on this benchmark | 31.7673 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 5 |
Maximum domain size | 412 |
Distribution of domain sizes | [{"size":5,"count":50},{"size":412,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400084-1568709426.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400084-1568709426.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.52/0.77 c solve instance... 1.95/0.85 o 404 1.95/0.87 o 381 2.61/0.94 o 369 3.33/1.01 o 364 3.33/1.08 o 359 4.06/1.12 o 356 4.06/1.15 o 351 11.04/2.04 o 349 11.82/2.14 o 342 14.12/2.40 o 339 14.90/2.52 o 337 14.90/2.56 o 336 14.90/2.57 o 335 15.68/2.60 o 331 22.78/3.54 o 324 30.70/4.54 o 323 30.70/4.58 o 322 32.97/4.81 o 321 38.54/5.59 o 320 49.61/6.99 o 319 57.54/8.00 o 318 73.50/9.97 o 317 83.77/11.28 o 316 133.14/17.47 o 315 166.47/21.60 o 314 171.20/22.28 o 313 183.02/23.72 o 312 296.69/38.09 s OPTIMUM FOUND 296.69/38.09 v <instantiation> 296.69/38.09 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list> 296.69/38.09 v <values>12 105 204 209 252 49 135 146 210 215 2 79 141 198 228 0 63 141 226 257 5 61 98 132 214 312 311 309 312 312 86 93 5 41 60 81 6 63 4 96 46 62 50 17 81 61 78 85 26 55 56 37 34 82 98 3 0 4 1 2 2 3 1 4 0 2 1 4 0 3 0 4 3 2 1 1 0 3 2 4 105 209 252 12 204 215 146 49 135 210 198 79 2 228 141 0 257 226 141 63 61 5 132 98 214 </values> 296.69/38.09 v </instantiation>
OK 312
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 (14613 MiB free) memory of node 1: 16384 MiB (15384 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400084-1568709426/watcher-4400084-1568709426 -o /tmp/evaluation-result-4400084-1568709426/solver-4400084-1568709426 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1299916838 HOME/instance-4400084-1568709426.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2202, runsolver pid=2199 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 8.01 8.11 8.20 3/212 2225 /proc/meminfo: memFree=30702892/32770624 swapFree=66954132/67108860 [pid=2202] ppid=2199 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2202/stat : 2202 (xcsp3-exec) S 2199 2202 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446884545 115843072 363 33554432000 4194304 5098028 140730035731040 140730035729144 140013921219196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14000128 140730035737467 140730035737710 140730035737710 140730035740618 0 /proc/2202/statm: 28282 363 304 221 0 87 0 [pid=2204] ppid=2202 vsize=28227396 memory=27784 CPUtime=0.12 cores=0-7 /proc/2204/stat : 2204 (java) S 2202 2202 561 0 -1 1077944320 5903 0 0 0 10 2 0 0 20 0 20 0 446884545 28904853504 6946 33554432000 4194304 4196468 140734569836704 140734569819248 140571629653751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 /proc/2204/statm: 7056849 6946 3144 1 0 7019032 0 [pid=2204/tid=2205] ppid=2202 vsize=28227396 memory=8681835568965067404 CPUtime=0.09 cores=0-7 /proc/2204/task/2205/stat : 2205 (java) R 2202 2202 561 0 -1 4202560 3785 0 0 0 8 1 0 0 20 0 20 0 446884545 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571633886544 140571629665686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2206] ppid=2202 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/2204/task/2206/stat : 2206 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571597212304 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2208] ppid=2202 vsize=28227396 memory=140413231646336 CPUtime=0 cores=0-7 /proc/2204/task/2208/stat : 2208 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571179608592 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2210] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2210/stat : 2210 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571178555792 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2211] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2211/stat : 2211 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571177502992 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2212] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2212/stat : 2212 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571176451216 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2213] ppid=2202 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2204/task/2213/stat : 2213 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571175398416 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2214] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2214/stat : 2214 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571174345616 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2215] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2215/stat : 2215 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571173292816 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2216] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2216/stat : 2216 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884548 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571130759536 140571629664898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2217] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2217/stat : 2217 (java) S 2202 2202 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446884548 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571129705504 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2218] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2218/stat : 2218 (java) S 2202 2202 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446884548 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571128652656 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2219] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2219/stat : 2219 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571127600976 140571629672347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2220] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2220/stat : 2220 (java) S 2202 2202 561 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571126549360 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2221] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2221/stat : 2221 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571009215216 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2222] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2222/stat : 2222 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571008162416 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2223] ppid=2202 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2204/task/2223/stat : 2223 (java) R 2202 2202 561 0 -1 4202560 381 0 0 0 1 0 0 0 20 0 20 0 446884551 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571007109616 140571622750460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2224] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2224/stat : 2224 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571006057056 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2225] ppid=2202 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2204/task/2225/stat : 2225 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 6946 33554432000 4194304 4196468 140734569836704 140571005004336 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29236 KiB [startup+0.210647 s]* /proc/loadavg: 8.01 8.11 8.20 3/212 2225 /proc/meminfo: memFree=30689252/32770624 swapFree=66954132/67108860 [pid=2202] ppid=2199 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2202/stat : 2202 (xcsp3-exec) S 2199 2202 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446884545 115843072 363 33554432000 4194304 5098028 140730035731040 140730035729144 140013921219196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14000128 140730035737467 140730035737710 140730035737710 140730035740618 0 /proc/2202/statm: 28282 363 304 221 0 87 0 [pid=2204] ppid=2202 vsize=28227396 memory=39896 CPUtime=0.33 cores=0-7 /proc/2204/stat : 2204 (java) S 2202 2202 561 0 -1 1077944320 9740 0 0 0 30 3 0 0 20 0 20 0 446884545 28904853504 9974 33554432000 4194304 4196468 140734569836704 140734569819248 140571629653751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 /proc/2204/statm: 7056849 9974 3274 1 0 7019032 0 [pid=2204/tid=2205] ppid=2202 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/2204/task/2205/stat : 2205 (java) R 2202 2202 561 0 -1 4202560 6736 0 0 0 18 2 0 0 20 0 20 0 446884545 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571633883472 140571629665686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2206] ppid=2202 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/2204/task/2206/stat : 2206 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571597212304 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2208] ppid=2202 vsize=28227396 memory=140413231669453 CPUtime=0 cores=0-7 /proc/2204/task/2208/stat : 2208 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571179608592 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2210] ppid=2202 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2204/task/2210/stat : 2210 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571178555792 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2211] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2211/stat : 2211 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571177502992 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2212] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2212/stat : 2212 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571176451216 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2213] ppid=2202 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2204/task/2213/stat : 2213 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571175398416 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2214] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2214/stat : 2214 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571174345616 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2215] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2215/stat : 2215 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884546 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571173292816 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2216] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2216/stat : 2216 (java) S 2202 2202 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446884548 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571130759536 140571629664898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2217] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2217/stat : 2217 (java) S 2202 2202 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446884548 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571129705504 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2218] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2218/stat : 2218 (java) S 2202 2202 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446884548 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571128652656 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2219] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2219/stat : 2219 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571127600976 140571629672347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2220] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2220/stat : 2220 (java) S 2202 2202 561 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571126549360 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2221] ppid=2202 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2204/task/2221/stat : 2221 (java) S 2202 2202 561 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 20 0 446884551 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571009215216 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2222] ppid=2202 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/2204/task/2222/stat : 2222 (java) S 2202 2202 561 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 20 0 446884551 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571008162416 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2223] ppid=2202 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/2204/task/2223/stat : 2223 (java) S 2202 2202 561 0 -1 1077944384 844 0 0 0 7 0 0 0 20 0 20 0 446884551 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571007109616 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2224] ppid=2202 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2224/stat : 2224 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571006057056 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2225] ppid=2202 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2204/task/2225/stat : 2225 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884551 28904853504 9974 33554432000 4194304 4196468 140734569836704 140571005004336 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41348 KiB [startup+0.310918 s]* /proc/loadavg: 8.01 8.11 8.20 3/212 2225 /proc/meminfo: memFree=30685392/32770624 swapFree=66954132/67108860 [pid=2202] ppid=2199 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2202/stat : 2202 (xcsp3-exec) S 2199 2202 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446884545 115843072 363 33554432000 4194304 5098028 140730035731040 140730035729144 140013921219196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14000128 140730035737467 140730035737710 140730035737710 140730035740618 0 /proc/2202/statm: 28282 363 304 221 0 87 0 [pid=2204] ppid=2202 vsize=28231652 memory=48648 CPUtime=0.52 cores=0-7 /proc/2204/stat : 2204 (java) S 2202 2202 561 0 -1 1077944320 11049 0 0 0 48 4 0 0 20 0 20 0 446884545 28909211648 12162 33554432000 4194304 4196468 140734569836704 140734569819248 140571629653751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 /proc/2204/statm: 7057913 12162 3341 1 0 7019032 0 [pid=2204/tid=2205] ppid=2202 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/2204/task/2205/stat : 2205 (java) R 2202 2202 561 0 -1 4202560 7816 0 0 0 27 3 0 0 20 0 20 0 446884545 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571633884864 140571613734238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2206] ppid=2202 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2204/task/2206/stat : 2206 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571597212304 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2208] ppid=2202 vsize=28231652 memory=1720 CPUtime=0 cores=0-7 /proc/2204/task/2208/stat : 2208 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571179608592 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2210] ppid=2202 vsize=28231652 memory=1200 CPUtime=0 cores=0-7 /proc/2204/task/2210/stat : 2210 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571178555792 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2211] ppid=2202 vsize=28231652 memory=5996 CPUtime=0 cores=0-7 /proc/2204/task/2211/stat : 2211 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571177502992 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2212] ppid=2202 vsize=28231652 memory=14012 CPUtime=0 cores=0-7 /proc/2204/task/2212/stat : 2212 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571176451216 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2213] ppid=2202 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2213/stat : 2213 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571175398416 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2214] ppid=2202 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2214/stat : 2214 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571174345616 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2215] ppid=2202 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2215/stat : 2215 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884546 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571173292816 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2216] ppid=2202 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2216/stat : 2216 (java) S 2202 2202 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446884548 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571130759536 140571629664898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2217] ppid=2202 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2217/stat : 2217 (java) S 2202 2202 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446884548 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571129705504 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2218] ppid=2202 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/2204/task/2218/stat : 2218 (java) S 2202 2202 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446884548 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571128652656 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2219] ppid=2202 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/2204/task/2219/stat : 2219 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884551 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571127600976 140571629672347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2220] ppid=2202 vsize=28231652 memory=2244 CPUtime=0.02 cores=0-7 /proc/2204/task/2220/stat : 2220 (java) S 2202 2202 561 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 446884551 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571126549360 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2221] ppid=2202 vsize=28231652 memory=2244 CPUtime=0.02 cores=0-7 /proc/2204/task/2221/stat : 2221 (java) S 2202 2202 561 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 20 0 446884551 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571009215216 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2222] ppid=2202 vsize=28231652 memory=2244 CPUtime=0.04 cores=0-7 /proc/2204/task/2222/stat : 2222 (java) R 2202 2202 561 0 -1 4202560 430 0 0 0 4 0 0 0 20 0 20 0 446884551 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571008152800 140571613942649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2223] ppid=2202 vsize=28231652 memory=2244 CPUtime=0.12 cores=0-7 /proc/2204/task/2223/stat : 2223 (java) S 2202 2202 561 0 -1 1077944384 993 0 0 0 12 0 0 0 20 0 20 0 446884551 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571007109616 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2224] ppid=2202 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2224/stat : 2224 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446884551 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571006057056 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2225] ppid=2202 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2204/task/2225/stat : 2225 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884551 28909211648 12258 33554432000 4194304 4196468 140734569836704 140571005004336 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50100 KiB [startup+0.700992 s] /proc/loadavg: 8.01 8.11 8.20 4/212 2225 /proc/meminfo: memFree=30668972/32770624 swapFree=66954132/67108860 [pid=2202] ppid=2199 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2202/stat : 2202 (xcsp3-exec) S 2199 2202 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446884545 115843072 363 33554432000 4194304 5098028 140730035731040 140730035729144 140013921219196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14000128 140730035737467 140730035737710 140730035737710 140730035740618 0 /proc/2202/statm: 28282 363 304 221 0 87 0 [pid=2204] ppid=2202 vsize=28233776 memory=78920 CPUtime=1.52 cores=0-7 /proc/2204/stat : 2204 (java) S 2202 2202 561 0 -1 1077944320 14940 0 0 0 145 7 0 0 20 0 20 0 446884545 28911386624 19730 33554432000 4194304 4196468 140734569836704 140734569819248 140571629653751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 /proc/2204/statm: 7058444 19730 3451 1 0 7019544 0 [pid=2204/tid=2205] ppid=2202 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/2204/task/2205/stat : 2205 (java) R 2202 2202 561 0 -1 4202560 9504 0 0 0 64 4 0 0 20 0 20 0 446884545 28911386624 19730 33554432000 4194304 4196468 140734569836704 140571633890816 140571265575884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2206] ppid=2202 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2206/stat : 2206 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28911386624 19730 33554432000 4194304 4196468 140734569836704 140571597212304 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2208] ppid=2202 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2208/stat : 2208 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446884546 28911386624 19730 33554432000 4194304 4196468 140734569836704 140571179608592 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2210] ppid=2202 vsize=28233776 memory=7667468960978070371 CPUtime=0 cores=0-7 /proc/2204/task/2210/stat : 2210 (java) S 2202 2202 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446884546 28911386624 19730 33554432000 4194304 4196468 140734569836704 140571178555792 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 ################ # More data... # ################ [pid=2204/tid=2457] ppid=2202 vsize=28902492 memory=0 CPUtime=12.98 cores=0-7 /proc/2204/task/2457/stat : 2457 (java) R 2202 2202 561 0 -1 4202560 344 0 0 0 1298 0 0 0 20 0 28 0 446886918 29596151808 46169 33554432000 4194304 4196468 140734569836704 140570920985544 140571610495894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2458] ppid=2202 vsize=28902492 memory=129145388 CPUtime=12.91 cores=0-7 /proc/2204/task/2458/stat : 2458 (java) R 2202 2202 561 0 -1 4202560 729 0 0 0 1291 0 0 0 20 0 28 0 446886918 29596151808 46169 33554432000 4194304 4196468 140734569836704 140570923090224 140571273837579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2459] ppid=2202 vsize=28902492 memory=0 CPUtime=12.92 cores=0-7 /proc/2204/task/2459/stat : 2459 (java) R 2202 2202 561 0 -1 4202560 567 0 0 0 1292 0 0 0 20 0 28 0 446886918 29596151808 46169 33554432000 4194304 4196468 140734569836704 140570917829504 140571273345816 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2460] ppid=2202 vsize=28902492 memory=0 CPUtime=12.92 cores=0-7 /proc/2204/task/2460/stat : 2460 (java) R 2202 2202 561 0 -1 4202560 441 0 0 0 1292 0 0 0 20 0 28 0 446886918 29596151808 46169 33554432000 4194304 4196468 140734569836704 140570924142208 140571271104896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2461] ppid=2202 vsize=28902492 memory=0 CPUtime=13 cores=0-7 /proc/2204/task/2461/stat : 2461 (java) R 2202 2202 561 0 -1 4202560 263 0 0 0 1300 0 0 0 20 0 28 0 446886918 29596151808 46169 33554432000 4194304 4196468 140734569836704 140570993689144 140571272582567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2462] ppid=2202 vsize=28902492 memory=0 CPUtime=12.95 cores=0-7 /proc/2204/task/2462/stat : 2462 (java) R 2202 2202 561 0 -1 4202560 554 0 0 0 1295 0 0 0 20 0 28 0 446886918 29596151808 46169 33554432000 4194304 4196468 140734569836704 140570916776008 140571273405544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 Current children cumulated CPU time: 287.13 s Current children cumulated vsize: 29015620 KiB Current children cumulated memory: 186128 KiB [startup+37.6019 s] /proc/loadavg: 8.33 8.19 8.22 9/221 2464 /proc/meminfo: memFree=30545436/32770624 swapFree=66954132/67108860 [pid=2202] ppid=2199 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2202/stat : 2202 (xcsp3-exec) S 2199 2202 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446884545 115843072 363 33554432000 4194304 5098028 140730035731040 140730035729144 140013921219196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14000128 140730035737467 140730035737710 140730035737710 140730035740618 0 /proc/2202/statm: 28282 363 304 221 0 87 0 [pid=2204] ppid=2202 vsize=28902492 memory=186216 CPUtime=293.43 cores=0-7 /proc/2204/stat : 2204 (java) S 2202 2202 561 0 -1 1077944320 75152 0 0 0 29302 41 0 0 20 0 28 0 446884545 29596151808 46554 33554432000 4194304 4196468 140734569836704 140734569819248 140571629653751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 /proc/2204/statm: 7225623 46554 3534 1 0 7186723 0 [pid=2204/tid=2205] ppid=2202 vsize=28902492 memory=992 CPUtime=0.78 cores=0-7 /proc/2204/task/2205/stat : 2205 (java) S 2202 2202 561 0 -1 1077944384 10329 0 0 0 74 4 0 0 20 0 28 0 446884545 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571633894528 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2206] ppid=2202 vsize=28902492 memory=2044 CPUtime=0.05 cores=0-7 /proc/2204/task/2206/stat : 2206 (java) S 2202 2202 561 0 -1 1077944384 325 0 0 0 4 1 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571597212304 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2208] ppid=2202 vsize=28902492 memory=1452 CPUtime=0.06 cores=0-7 /proc/2204/task/2208/stat : 2208 (java) S 2202 2202 561 0 -1 1077944384 421 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571179608592 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2210] ppid=2202 vsize=28902492 memory=186728 CPUtime=0.06 cores=0-7 /proc/2204/task/2210/stat : 2210 (java) S 2202 2202 561 0 -1 1077944384 300 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571178555792 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2211] ppid=2202 vsize=28902492 memory=924 CPUtime=0.05 cores=0-7 /proc/2204/task/2211/stat : 2211 (java) S 2202 2202 561 0 -1 1077944384 877 0 0 0 5 0 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571177502992 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2212] ppid=2202 vsize=28902492 memory=1672 CPUtime=0.06 cores=0-7 /proc/2204/task/2212/stat : 2212 (java) S 2202 2202 561 0 -1 1077944384 1195 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571176451216 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2213] ppid=2202 vsize=28902492 memory=4104 CPUtime=0.05 cores=0-7 /proc/2204/task/2213/stat : 2213 (java) S 2202 2202 561 0 -1 1077944384 2029 0 0 0 4 1 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571175398416 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2214] ppid=2202 vsize=28902492 memory=796 CPUtime=0.06 cores=0-7 /proc/2204/task/2214/stat : 2214 (java) S 2202 2202 561 0 -1 1077944384 594 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571174345616 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2215] ppid=2202 vsize=28902492 memory=1436 CPUtime=0.05 cores=0-7 /proc/2204/task/2215/stat : 2215 (java) S 2202 2202 561 0 -1 1077944384 355 0 0 0 5 0 0 0 20 0 28 0 446884546 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571173292816 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2216] ppid=2202 vsize=28902492 memory=1452 CPUtime=0.07 cores=0-7 /proc/2204/task/2216/stat : 2216 (java) S 2202 2202 561 0 -1 1077944384 2445 0 0 0 5 2 0 0 20 0 28 0 446884548 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571130759536 140571629664898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2217] ppid=2202 vsize=28902492 memory=185704 CPUtime=0 cores=0-7 /proc/2204/task/2217/stat : 2217 (java) S 2202 2202 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446884548 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571129705504 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2218] ppid=2202 vsize=28902492 memory=15541833904162827 CPUtime=0 cores=0-7 /proc/2204/task/2218/stat : 2218 (java) S 2202 2202 561 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446884548 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571128652656 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2219] ppid=2202 vsize=28902492 memory=7305218370954159957 CPUtime=0 cores=0-7 /proc/2204/task/2219/stat : 2219 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446884551 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571127600976 140571629672347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2220] ppid=2202 vsize=28902492 memory=-7019007802211091872 CPUtime=2.81 cores=0-7 /proc/2204/task/2220/stat : 2220 (java) S 2202 2202 561 0 -1 1077944384 9779 0 0 0 278 3 0 0 20 0 28 0 446884551 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571126549360 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2221] ppid=2202 vsize=28902492 memory=7305218370954159957 CPUtime=2.49 cores=0-7 /proc/2204/task/2221/stat : 2221 (java) S 2202 2202 561 0 -1 1077944384 10135 0 0 0 246 3 0 0 20 0 28 0 446884551 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571009215216 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2222] ppid=2202 vsize=28902492 memory=7594597771697979466 CPUtime=2.69 cores=0-7 /proc/2204/task/2222/stat : 2222 (java) S 2202 2202 561 0 -1 1077944384 11044 0 0 0 266 3 0 0 20 0 28 0 446884551 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571008162416 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2223] ppid=2202 vsize=28902492 memory=1428 CPUtime=0.9 cores=0-7 /proc/2204/task/2223/stat : 2223 (java) S 2202 2202 561 0 -1 1077944384 9534 0 0 0 87 3 0 0 20 0 28 0 446884551 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571007109616 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2224] ppid=2202 vsize=28902492 memory=1808 CPUtime=0 cores=0-7 /proc/2204/task/2224/stat : 2224 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446884551 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571006057056 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2225] ppid=2202 vsize=28902492 memory=11624 CPUtime=0 cores=0-7 /proc/2204/task/2225/stat : 2225 (java) S 2202 2202 561 0 -1 1077944384 1082 0 0 0 0 0 0 0 20 0 28 0 446884551 29596151808 46554 33554432000 4194304 4196468 140734569836704 140571005004336 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2455] ppid=2202 vsize=28902492 memory=740 CPUtime=13.79 cores=0-7 /proc/2204/task/2455/stat : 2455 (java) R 2202 2202 561 0 -1 4202560 350 0 0 0 1379 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570922036224 140571273405658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2456] ppid=2202 vsize=28902492 memory=1056 CPUtime=13.75 cores=0-7 /proc/2204/task/2456/stat : 2456 (java) R 2202 2202 561 0 -1 4202560 366 0 0 0 1375 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570915724336 140571273137986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2457] ppid=2202 vsize=28902492 memory=1552 CPUtime=13.78 cores=0-7 /proc/2204/task/2457/stat : 2457 (java) R 2202 2202 561 0 -1 4202560 344 0 0 0 1378 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570920985592 140571275145504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2458] ppid=2202 vsize=28902492 memory=1040 CPUtime=13.68 cores=0-7 /proc/2204/task/2458/stat : 2458 (java) R 2202 2202 561 0 -1 4202560 729 0 0 0 1368 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570923093592 140571271846271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2459] ppid=2202 vsize=28902492 memory=924 CPUtime=13.7 cores=0-7 /proc/2204/task/2459/stat : 2459 (java) R 2202 2202 561 0 -1 4202560 568 0 0 0 1370 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570917830440 140571273140361 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2460] ppid=2202 vsize=28902492 memory=4416 CPUtime=13.72 cores=0-7 /proc/2204/task/2460/stat : 2460 (java) R 2202 2202 561 0 -1 4202560 441 0 0 0 1372 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570924141808 140571272583544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2461] ppid=2202 vsize=28902492 memory=4132 CPUtime=13.79 cores=0-7 /proc/2204/task/2461/stat : 2461 (java) R 2202 2202 561 0 -1 4202560 264 0 0 0 1379 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570993692584 140571276204987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2462] ppid=2202 vsize=28902492 memory=780 CPUtime=13.71 cores=0-7 /proc/2204/task/2462/stat : 2462 (java) R 2202 2202 561 0 -1 4202560 555 0 0 0 1371 0 0 0 20 0 28 0 446886918 29596151808 46554 33554432000 4194304 4196468 140734569836704 140570916772824 140571271384805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 Current children cumulated CPU time: 293.43 s Current children cumulated vsize: 29015620 KiB Current children cumulated memory: 187668 KiB [startup+38.0069 s]* /proc/loadavg: 8.33 8.19 8.22 9/221 2464 /proc/meminfo: memFree=30544628/32770624 swapFree=66954132/67108860 [pid=2202] ppid=2199 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2202/stat : 2202 (xcsp3-exec) S 2199 2202 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446884545 115843072 363 33554432000 4194304 5098028 140730035731040 140730035729144 140013921219196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14000128 140730035737467 140730035737710 140730035737710 140730035740618 0 /proc/2202/statm: 28282 363 304 221 0 87 0 [pid=2204] ppid=2202 vsize=28902492 memory=185712 CPUtime=296.69 cores=0-7 /proc/2204/stat : 2204 (java) S 2202 2202 561 0 -1 1077944320 76918 0 0 0 29627 42 0 0 20 0 28 0 446884545 29596151808 46428 33554432000 4194304 4196468 140734569836704 140734569819248 140571629653751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 /proc/2204/statm: 7225623 46428 3534 1 0 7186723 0 [pid=2204/tid=2205] ppid=2202 vsize=28902492 memory=8317482817917895235 CPUtime=0.78 cores=0-7 /proc/2204/task/2205/stat : 2205 (java) S 2202 2202 561 0 -1 1077944384 10329 0 0 0 74 4 0 0 20 0 28 0 446884545 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571633894528 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2206] ppid=2202 vsize=28902492 memory=0 CPUtime=0.05 cores=0-7 /proc/2204/task/2206/stat : 2206 (java) S 2202 2202 561 0 -1 1077944384 732 0 0 0 4 1 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571597212304 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2208] ppid=2202 vsize=28902492 memory=0 CPUtime=0.06 cores=0-7 /proc/2204/task/2208/stat : 2208 (java) S 2202 2202 561 0 -1 1077944384 500 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571179608592 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2210] ppid=2202 vsize=28902492 memory=0 CPUtime=0.06 cores=0-7 /proc/2204/task/2210/stat : 2210 (java) S 2202 2202 561 0 -1 1077944384 344 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571178555792 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2211] ppid=2202 vsize=28902492 memory=0 CPUtime=0.05 cores=0-7 /proc/2204/task/2211/stat : 2211 (java) S 2202 2202 561 0 -1 1077944384 887 0 0 0 5 0 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571177502992 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2212] ppid=2202 vsize=28902492 memory=0 CPUtime=0.06 cores=0-7 /proc/2204/task/2212/stat : 2212 (java) S 2202 2202 561 0 -1 1077944384 1256 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571176451216 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2213] ppid=2202 vsize=28902492 memory=-1 CPUtime=0.06 cores=0-7 /proc/2204/task/2213/stat : 2213 (java) S 2202 2202 561 0 -1 1077944384 2068 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571175398416 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2214] ppid=2202 vsize=28902492 memory=0 CPUtime=0.06 cores=0-7 /proc/2204/task/2214/stat : 2214 (java) S 2202 2202 561 0 -1 1077944384 617 0 0 0 5 1 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571174345616 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2215] ppid=2202 vsize=28902492 memory=0 CPUtime=0.05 cores=0-7 /proc/2204/task/2215/stat : 2215 (java) S 2202 2202 561 0 -1 1077944384 377 0 0 0 5 0 0 0 20 0 28 0 446884546 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571173292816 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2216] ppid=2202 vsize=28902492 memory=0 CPUtime=0.07 cores=0-7 /proc/2204/task/2216/stat : 2216 (java) S 2202 2202 561 0 -1 1077944384 2722 0 0 0 5 2 0 0 20 0 28 0 446884548 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571130759536 140571629664898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2217] ppid=2202 vsize=28902492 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2217/stat : 2217 (java) S 2202 2202 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446884548 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571129705504 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2218] ppid=2202 vsize=28902492 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2218/stat : 2218 (java) S 2202 2202 561 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446884548 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571128652656 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2219] ppid=2202 vsize=28902492 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2219/stat : 2219 (java) S 2202 2202 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446884551 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571127600976 140571629672347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2220] ppid=2202 vsize=28902492 memory=6655300316396806240 CPUtime=2.81 cores=0-7 /proc/2204/task/2220/stat : 2220 (java) S 2202 2202 561 0 -1 1077944384 9779 0 0 0 278 3 0 0 20 0 28 0 446884551 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571126549360 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2221] ppid=2202 vsize=28902492 memory=0 CPUtime=2.49 cores=0-7 /proc/2204/task/2221/stat : 2221 (java) S 2202 2202 561 0 -1 1077944384 10135 0 0 0 246 3 0 0 20 0 28 0 446884551 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571009215216 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2222] ppid=2202 vsize=28902492 memory=0 CPUtime=2.69 cores=0-7 /proc/2204/task/2222/stat : 2222 (java) S 2202 2202 561 0 -1 1077944384 11044 0 0 0 266 3 0 0 20 0 28 0 446884551 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571008162416 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2223] ppid=2202 vsize=28902492 memory=0 CPUtime=0.9 cores=0-7 /proc/2204/task/2223/stat : 2223 (java) S 2202 2202 561 0 -1 1077944384 9534 0 0 0 87 3 0 0 20 0 28 0 446884551 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571007109616 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2224] ppid=2202 vsize=28902492 memory=0 CPUtime=0 cores=0-7 /proc/2204/task/2224/stat : 2224 (java) S 2202 2202 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446884551 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571006057056 140571629663957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2225] ppid=2202 vsize=28902492 memory=-1 CPUtime=0 cores=0-7 /proc/2204/task/2225/stat : 2225 (java) S 2202 2202 561 0 -1 1077944384 1100 0 0 0 0 0 0 0 20 0 28 0 446884551 29596151808 46428 33554432000 4194304 4196468 140734569836704 140571005004336 140571629664898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2455] ppid=2202 vsize=28902492 memory=-1 CPUtime=14.19 cores=0-7 /proc/2204/task/2455/stat : 2455 (java) R 2202 2202 561 0 -1 4202560 429 0 0 0 1419 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570922039904 140571611059972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2456] ppid=2202 vsize=28902492 memory=0 CPUtime=14.16 cores=0-7 /proc/2204/task/2456/stat : 2456 (java) R 2202 2202 561 0 -1 4202560 451 0 0 0 1416 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570915725368 140571275510629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2457] ppid=2202 vsize=28902492 memory=0 CPUtime=14.19 cores=0-7 /proc/2204/task/2457/stat : 2457 (java) R 2202 2202 561 0 -1 4202560 453 0 0 0 1419 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570920987872 140571273278496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2458] ppid=2202 vsize=28902492 memory=0 CPUtime=14.09 cores=0-7 /proc/2204/task/2458/stat : 2458 (java) R 2202 2202 561 0 -1 4202560 884 0 0 0 1409 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570923093512 140571275675008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2459] ppid=2202 vsize=28902492 memory=0 CPUtime=14.09 cores=0-7 /proc/2204/task/2459/stat : 2459 (java) R 2202 2202 561 0 -1 4202560 688 0 0 0 1409 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570917826624 140571271140672 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2460] ppid=2202 vsize=28902492 memory=0 CPUtime=14.13 cores=0-7 /proc/2204/task/2460/stat : 2460 (java) R 2202 2202 561 0 -1 4202560 523 0 0 0 1413 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570924146864 140571273836995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2461] ppid=2202 vsize=28902492 memory=0 CPUtime=14.2 cores=0-7 /proc/2204/task/2461/stat : 2461 (java) R 2202 2202 561 0 -1 4202560 287 0 0 0 1420 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570993692624 140571273141745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 [pid=2204/tid=2462] ppid=2202 vsize=28902492 memory=0 CPUtime=14.12 cores=0-7 /proc/2204/task/2462/stat : 2462 (java) R 2202 2202 561 0 -1 4202560 688 0 0 0 1412 0 0 0 20 0 28 0 446886918 29596151808 46428 33554432000 4194304 4196468 140734569836704 140570916777792 140571266620820 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31408128 140734569845744 140734569845915 140734569845915 140734569848783 0 Current children cumulated CPU time: 296.69 s Current children cumulated vsize: 29015620 KiB Current children cumulated memory: 187164 KiB [startup+38.1107 s] /proc/loadavg: 8.33 8.19 8.22 9/221 2464 /proc/meminfo: memFree=30544628/32770624 swapFree=66954132/67108860 [pid=2202] ppid=2199 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2202/stat : 2202 (xcsp3-exec) S 2199 2202 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446884545 115843072 363 33554432000 4194304 5098028 140730035731040 140730035729144 140013921219196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14000128 140730035737467 140730035737710 140730035737710 140730035740618 0 /proc/2202/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 38.1132 CPU time (s): 297.381 CPU user time (s): 296.941 CPU system time (s): 0.439551 CPU usage (%): 780.257 Max. virtual memory (cumulated for all children) (KiB): 29015620 Max. memory (cumulated for all children) (KiB): 259936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 296.941 system time used= 0.439551 maximum resident set size= 263676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79316 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12710 involuntary context switches= 4381 # summary of solver processes directly reported to runsolver: # pid: 2202 # total CPU time (s): 297.381 # total CPU user time (s): 296.941 # total CPU system time (s): 0.439551 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.40882 second user time and 0.420176 second system time The end
Begin job on node117 at 2019-09-17 10:36:24 IDJOB=4400084 IDBENCH=115814 IDSOLVER=2855 FILE ID=node117/4400084-1568709426 RUNJOBID= node117-1568700865-599 PBS_JOBID= 21703907 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-5.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400084-1568709426/watcher-4400084-1568709426 -o /tmp/evaluation-result-4400084-1568709426/solver-4400084-1568709426 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1299916838 HOME/instance-4400084-1568709426.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5197a9101df9cd680fadf9dcc86a0dcb RANDOM SEED=1299916838 node117.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.75 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.75 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.75 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.75 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: 30718888 kB MemAvailable: 31850164 kB Buffers: 135548 kB Cached: 1275808 kB SwapCached: 49696 kB Active: 584844 kB Inactive: 879720 kB Active(anon): 4768 kB Inactive(anon): 87548 kB Active(file): 580076 kB Inactive(file): 792172 kB Unevictable: 109132 kB Mlocked: 109132 kB SwapTotal: 67108860 kB SwapFree: 66954132 kB Dirty: 26244 kB Writeback: 0 kB AnonPages: 261392 kB Mapped: 42204 kB Shmem: 30088 kB Slab: 178360 kB SReclaimable: 149728 kB SUnreclaim: 28632 kB KernelStack: 3888 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506372 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-17 10:37:02