Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 262 | 209.259 | 40.8082 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-1.xml |
MD5SUM | 3747a76ad44ca32161ac6cfee5e9d7cb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262 |
Best CPU time to get the best result obtained on this benchmark | 27.9344 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 4 |
Maximum domain size | 362 |
Distribution of domain sizes | [{"size":4,"count":5},{"size":5,"count":45},{"size":362,"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-4393788-1568417861.xml" -tl '20160s' -p 8 0.10/0.19 c Choco e747e1e 0.10/0.19 c [HOME/instance-4393788-1568417861.xml, -tl, 20160s, -p, 8] 0.31/0.25 c 8 solvers in parallel 0.44/0.33 c parse instance... 1.78/0.81 c solve instance... 3.12/1.08 o 361 3.84/1.16 o 360 4.39/1.22 o 338 4.99/1.31 o 329 4.99/1.36 o 310 6.34/1.56 o 307 6.34/1.56 o 298 6.34/1.57 o 283 10.01/2.02 o 279 36.30/5.86 o 278 37.35/6.02 o 276 39.16/6.52 o 275 41.12/7.38 o 272 47.29/9.67 o 271 48.97/10.70 o 269 49.92/11.21 o 268 55.31/12.19 o 265 56.24/12.71 o 264 60.89/13.51 o 263 82.97/17.02 o 262 209.14/40.79 s OPTIMUM FOUND 209.14/40.79 v <instantiation> 209.14/40.79 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> 209.14/40.79 v <values>0 92 124 162 243 10 19 43 110 207 5 41 204 234 247 3 49 83 104 175 0 16 107 163 206 262 259 262 262 261 83 32 38 81 19 6 22 64 90 52 35 83 1 8 15 40 33 21 71 87 15 86 55 42 55 3 4 1 2 0 0 1 2 3 4 4 1 3 0 2 2 4 3 0 1 1 0 2 4 3 243 124 162 0 92 10 19 43 110 207 234 41 247 204 5 104 175 3 83 49 16 0 107 206 163 </values> 209.14/40.79 v </instantiation>
OK 262
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 (15157 MiB free) memory of node 1: 16384 MiB (15723 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393788-1568417861/watcher-4393788-1568417861 -o /tmp/evaluation-result-4393788-1568417861/solver-4393788-1568417861 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1322764831 HOME/instance-4393788-1568417861.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Current StackSize limit: 8192 KiB solver pid=4902, runsolver pid=4899 [startup+0.100112 s]* /proc/loadavg: 0.86 0.93 0.96 3/211 4923 /proc/meminfo: memFree=31603116/32770624 swapFree=67004224/67108860 [pid=4902] ppid=4899 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4902/stat : 4902 (xcsp3-exec) S 4899 4902 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417947713 115843072 363 33554432000 4194304 5098028 140723267682272 140723267680376 139812155564668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34258944 140723267687285 140723267687529 140723267687529 140723267690442 0 /proc/4902/statm: 28282 363 304 221 0 87 0 [pid=4904] ppid=4902 vsize=28227388 memory=30228 CPUtime=0.1 cores=0-7 /proc/4904/stat : 4904 (java) S 4902 4902 4858 0 -1 1077944320 5436 0 0 0 9 1 0 0 20 0 20 0 417947713 28904845312 7557 33554432000 4194304 4196468 140723866457056 140723866439600 140675518209783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 /proc/4904/statm: 7056847 7557 3085 1 0 7019032 0 [pid=4904/tid=4905] ppid=4902 vsize=28227388 memory=576460756329955445 CPUtime=0.07 cores=0-7 /proc/4904/task/4905/stat : 4905 (java) R 4902 4902 4858 0 -1 4202560 3411 0 0 0 7 0 0 0 20 0 20 0 417947714 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675522437584 140675518231709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4906] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4906/stat : 4906 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675481316496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4907] ppid=4902 vsize=28227388 memory=16247330067306136 CPUtime=0 cores=0-7 /proc/4904/task/4907/stat : 4907 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675068582928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4908] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4908/stat : 4908 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675067530128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4909] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4909/stat : 4909 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675066477328 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4910] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4910/stat : 4910 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675065424528 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4911] ppid=4902 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4904/task/4911/stat : 4911 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675064371728 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4912] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4912/stat : 4912 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675063318928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4913] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4913/stat : 4913 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 7623 33554432000 4194304 4196468 140723866457056 140675062266128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4914] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4914/stat : 4914 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947716 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674634623856 140675518220930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4915] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4915/stat : 4915 (java) S 4902 4902 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417947717 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674633569824 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4916] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4916/stat : 4916 (java) S 4902 4902 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417947717 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674632516976 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4917] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4917/stat : 4917 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674631465296 140675518228379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4918] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4918/stat : 4918 (java) S 4902 4902 4858 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674630412656 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4919] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4919/stat : 4919 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674629359856 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4920] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4920/stat : 4920 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674628307056 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4921] ppid=4902 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4904/task/4921/stat : 4921 (java) S 4902 4902 4858 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 417947720 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674627254256 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4922] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4922/stat : 4922 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674626202720 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4923] ppid=4902 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4904/task/4923/stat : 4923 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 7623 33554432000 4194304 4196468 140723866457056 140674625150000 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31680 KiB [startup+0.210173 s]* /proc/loadavg: 0.86 0.93 0.96 2/211 4923 /proc/meminfo: memFree=31590336/32770624 swapFree=67004224/67108860 [pid=4902] ppid=4899 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4902/stat : 4902 (xcsp3-exec) S 4899 4902 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417947713 115843072 363 33554432000 4194304 5098028 140723267682272 140723267680376 139812155564668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34258944 140723267687285 140723267687529 140723267687529 140723267690442 0 /proc/4902/statm: 28282 363 304 221 0 87 0 [pid=4904] ppid=4902 vsize=28227388 memory=41452 CPUtime=0.31 cores=0-7 /proc/4904/stat : 4904 (java) S 4902 4902 4858 0 -1 1077944320 9038 0 0 0 28 3 0 0 20 0 20 0 417947713 28904845312 10363 33554432000 4194304 4196468 140723866457056 140723866439600 140675518209783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 /proc/4904/statm: 7056847 10363 3284 1 0 7019032 0 [pid=4904/tid=4905] ppid=4902 vsize=28227388 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/4904/task/4905/stat : 4905 (java) R 4902 4902 4858 0 -1 4202560 6211 0 0 0 17 2 0 0 20 0 20 0 417947714 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675522445216 140675502290270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4906] ppid=4902 vsize=28227388 memory=288230608969400343 CPUtime=0 cores=0-7 /proc/4904/task/4906/stat : 4906 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675481316496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4907] ppid=4902 vsize=28227388 memory=14975589761160211 CPUtime=0 cores=0-7 /proc/4904/task/4907/stat : 4907 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675068582928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4908] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4908/stat : 4908 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675067530128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4909] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4909/stat : 4909 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675066477328 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4910] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4910/stat : 4910 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675065424528 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4911] ppid=4902 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4904/task/4911/stat : 4911 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675064371728 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4912] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4912/stat : 4912 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675063318928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4913] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4913/stat : 4913 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947715 28904845312 10363 33554432000 4194304 4196468 140723866457056 140675062266128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4914] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4914/stat : 4914 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947716 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674634623856 140675518220930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4915] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4915/stat : 4915 (java) S 4902 4902 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417947717 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674633569824 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4916] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4916/stat : 4916 (java) S 4902 4902 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417947717 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674632516976 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4917] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4917/stat : 4917 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674631465296 140675518228379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4918] ppid=4902 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4904/task/4918/stat : 4918 (java) S 4902 4902 4858 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 417947720 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674630412656 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4919] ppid=4902 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4904/task/4919/stat : 4919 (java) S 4902 4902 4858 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 417947720 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674629359856 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4920] ppid=4902 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/4904/task/4920/stat : 4920 (java) S 4902 4902 4858 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 417947720 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674628307056 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4921] ppid=4902 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/4904/task/4921/stat : 4921 (java) R 4902 4902 4858 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 20 0 417947720 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674627254256 140675518221718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4922] ppid=4902 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4922/stat : 4922 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674626202720 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4923] ppid=4902 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4904/task/4923/stat : 4923 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947720 28904845312 10363 33554432000 4194304 4196468 140723866457056 140674625150000 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42904 KiB [startup+0.309457 s]* /proc/loadavg: 0.86 0.93 0.96 5/212 4924 /proc/meminfo: memFree=31583580/32770624 swapFree=67004224/67108860 [pid=4902] ppid=4899 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4902/stat : 4902 (xcsp3-exec) S 4899 4902 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417947713 115843072 363 33554432000 4194304 5098028 140723267682272 140723267680376 139812155564668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34258944 140723267687285 140723267687529 140723267687529 140723267690442 0 /proc/4902/statm: 28282 363 304 221 0 87 0 [pid=4904] ppid=4902 vsize=28231644 memory=46512 CPUtime=0.44 cores=0-7 /proc/4904/stat : 4904 (java) S 4902 4902 4858 0 -1 1077944320 9988 0 0 0 39 5 0 0 20 0 20 0 417947713 28909203456 11628 33554432000 4194304 4196468 140723866457056 140723866439600 140675518209783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 /proc/4904/statm: 7057911 11628 3307 1 0 7019032 0 [pid=4904/tid=4905] ppid=4902 vsize=28231644 memory=8317482817917895235 CPUtime=0.25 cores=0-7 /proc/4904/task/4905/stat : 4905 (java) R 4902 4902 4858 0 -1 4202560 7057 0 0 0 22 3 0 0 20 0 20 0 417947714 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675522440272 140675518231709 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4906] ppid=4902 vsize=28231644 memory=2120 CPUtime=0 cores=0-7 /proc/4904/task/4906/stat : 4906 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675481316496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4907] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4907/stat : 4907 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675068582928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4908] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4908/stat : 4908 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675067530128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4909] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4909/stat : 4909 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675066477328 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4910] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4910/stat : 4910 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675065424528 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4911] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4911/stat : 4911 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675064371728 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4912] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4912/stat : 4912 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675063318928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4913] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4913/stat : 4913 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947715 28909203456 11673 33554432000 4194304 4196468 140723866457056 140675062266128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4914] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4914/stat : 4914 (java) S 4902 4902 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417947716 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674634623856 140675518220930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4915] ppid=4902 vsize=28231644 memory=280685374016384 CPUtime=0 cores=0-7 /proc/4904/task/4915/stat : 4915 (java) S 4902 4902 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417947717 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674633569824 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4916] ppid=4902 vsize=28231644 memory=280685374020992 CPUtime=0 cores=0-7 /proc/4904/task/4916/stat : 4916 (java) S 4902 4902 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417947717 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674632516976 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4917] ppid=4902 vsize=28231644 memory=280685374025600 CPUtime=0 cores=0-7 /proc/4904/task/4917/stat : 4917 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947720 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674631465296 140675518228379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4918] ppid=4902 vsize=28231644 memory=280685374030208 CPUtime=0.01 cores=0-7 /proc/4904/task/4918/stat : 4918 (java) S 4902 4902 4858 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 417947720 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674630412656 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4919] ppid=4902 vsize=28231644 memory=280685374034816 CPUtime=0.01 cores=0-7 /proc/4904/task/4919/stat : 4919 (java) S 4902 4902 4858 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 417947720 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674629359856 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4920] ppid=4902 vsize=28231644 memory=280685374039424 CPUtime=0.02 cores=0-7 /proc/4904/task/4920/stat : 4920 (java) S 4902 4902 4858 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 417947720 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674628307056 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4921] ppid=4902 vsize=28231644 memory=280685374044032 CPUtime=0.1 cores=0-7 /proc/4904/task/4921/stat : 4921 (java) R 4902 4902 4858 0 -1 4202560 811 0 0 0 10 0 0 0 20 0 20 0 417947720 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674627254256 140675497331016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4922] ppid=4902 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4922/stat : 4922 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417947720 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674626202720 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4923] ppid=4902 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/4904/task/4923/stat : 4923 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947720 28909203456 11673 33554432000 4194304 4196468 140723866457056 140674625150000 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 47964 KiB [startup+0.700945 s] /proc/loadavg: 0.86 0.93 0.96 5/212 4924 /proc/meminfo: memFree=31571532/32770624 swapFree=67004224/67108860 [pid=4902] ppid=4899 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4902/stat : 4902 (xcsp3-exec) S 4899 4902 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417947713 115843072 363 33554432000 4194304 5098028 140723267682272 140723267680376 139812155564668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34258944 140723267687285 140723267687529 140723267687529 140723267690442 0 /proc/4902/statm: 28282 363 304 221 0 87 0 [pid=4904] ppid=4902 vsize=28233768 memory=76808 CPUtime=1.41 cores=0-7 /proc/4904/stat : 4904 (java) S 4902 4902 4858 0 -1 1077944320 13921 0 0 0 134 7 0 0 20 0 20 0 417947713 28911378432 19202 33554432000 4194304 4196468 140723866457056 140723866439600 140675518209783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 /proc/4904/statm: 7058442 19202 3448 1 0 7019544 0 [pid=4904/tid=4905] ppid=4902 vsize=28233768 memory=0 CPUtime=0.63 cores=0-7 /proc/4904/task/4905/stat : 4905 (java) R 4902 4902 4858 0 -1 4202560 8945 0 0 0 59 4 0 0 20 0 20 0 417947714 28911378432 19202 33554432000 4194304 4196468 140723866457056 140675522448016 140675518221718 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4906] ppid=4902 vsize=28233768 memory=2353 CPUtime=0 cores=0-7 /proc/4904/task/4906/stat : 4906 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28911378432 19202 33554432000 4194304 4196468 140723866457056 140675481316496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4907] ppid=4902 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4907/stat : 4907 (java) S 4902 4902 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417947715 28911378432 19202 33554432000 4194304 4196468 140723866457056 140675068582928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4908] ppid=4902 vsize=28233768 memory=1052 CPUtime=0 cores=0-7 /proc/4904/task/4908/stat : 4908 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417947715 28911378432 19202 33554432000 4194304 4196468 140723866457056 140675067530128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 ################ # More data... # ################ [pid=4904/tid=5089] ppid=4902 vsize=28835920 memory=14979957692564923 CPUtime=13.11 cores=0-7 /proc/4904/task/5089/stat : 5089 (java) S 4902 4902 4858 0 -1 1077944384 2488 0 0 0 1311 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674611741712 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5090] ppid=4902 vsize=28835920 memory=0 CPUtime=13.07 cores=0-7 /proc/4904/task/5090/stat : 5090 (java) S 4902 4902 4858 0 -1 1077944384 1137 0 0 0 1306 1 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674540233616 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5091] ppid=4902 vsize=28835920 memory=0 CPUtime=21.22 cores=0-7 /proc/4904/task/5091/stat : 5091 (java) R 4902 4902 4858 0 -1 4202560 482 0 0 0 2122 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674612788600 140675163910228 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5092] ppid=4902 vsize=28835920 memory=34084 CPUtime=21.06 cores=0-7 /proc/4904/task/5092/stat : 5092 (java) R 4902 4902 4858 0 -1 4202560 322 0 0 0 2106 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674610685656 140675163910096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5093] ppid=4902 vsize=28835920 memory=6655300316396806240 CPUtime=12.91 cores=0-7 /proc/4904/task/5093/stat : 5093 (java) S 4902 4902 4858 0 -1 1077944384 734 0 0 0 1291 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674537076240 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5094] ppid=4902 vsize=28835920 memory=6656426216303648864 CPUtime=12.92 cores=0-7 /proc/4904/task/5094/stat : 5094 (java) S 4902 4902 4858 0 -1 1077944384 459 0 0 0 1292 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674539181456 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 Current children cumulated CPU time: 205.15 s Current children cumulated vsize: 28949048 KiB Current children cumulated memory: 293760 KiB [startup+40.001 s]* /proc/loadavg: 3.09 1.53 1.16 3/221 5095 /proc/meminfo: memFree=31332796/32770624 swapFree=67004224/67108860 [pid=4902] ppid=4899 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4902/stat : 4902 (xcsp3-exec) S 4899 4902 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417947713 115843072 363 33554432000 4194304 5098028 140723267682272 140723267680376 139812155564668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34258944 140723267687285 140723267687529 140723267687529 140723267690442 0 /proc/4902/statm: 28282 363 304 221 0 87 0 [pid=4904] ppid=4902 vsize=28835920 memory=292308 CPUtime=208.36 cores=0-7 /proc/4904/stat : 4904 (java) S 4902 4902 4858 0 -1 1077944320 108804 0 0 0 20779 57 0 0 20 0 28 0 417947713 29527982080 73077 33554432000 4194304 4196468 140723866457056 140723866439600 140675518209783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 /proc/4904/statm: 7208980 73077 3537 1 0 7170082 0 [pid=4904/tid=4905] ppid=4902 vsize=28835920 memory=8317482817917895235 CPUtime=0.79 cores=0-7 /proc/4904/task/4905/stat : 4905 (java) S 4902 4902 4858 0 -1 1077944384 9544 0 0 0 75 4 0 0 20 0 28 0 417947714 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675522450560 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4906] ppid=4902 vsize=28835920 memory=1556 CPUtime=0.12 cores=0-7 /proc/4904/task/4906/stat : 4906 (java) S 4902 4902 4858 0 -1 1077944384 867 0 0 0 10 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675481316496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4907] ppid=4902 vsize=28835920 memory=740 CPUtime=0.13 cores=0-7 /proc/4904/task/4907/stat : 4907 (java) S 4902 4902 4858 0 -1 1077944384 939 0 0 0 11 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675068582928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4908] ppid=4902 vsize=28835920 memory=1052 CPUtime=0.14 cores=0-7 /proc/4904/task/4908/stat : 4908 (java) S 4902 4902 4858 0 -1 1077944384 231 0 0 0 12 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675067530128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4909] ppid=4902 vsize=28835920 memory=7548 CPUtime=0.12 cores=0-7 /proc/4904/task/4909/stat : 4909 (java) S 4902 4902 4858 0 -1 1077944384 579 0 0 0 10 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675066477328 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4910] ppid=4902 vsize=28835920 memory=4004 CPUtime=0.14 cores=0-7 /proc/4904/task/4910/stat : 4910 (java) S 4902 4902 4858 0 -1 1077944384 505 0 0 0 11 3 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675065424528 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4911] ppid=4902 vsize=28835920 memory=2832 CPUtime=0.12 cores=0-7 /proc/4904/task/4911/stat : 4911 (java) S 4902 4902 4858 0 -1 1077944384 881 0 0 0 10 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675064371728 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4912] ppid=4902 vsize=28835920 memory=776 CPUtime=0.12 cores=0-7 /proc/4904/task/4912/stat : 4912 (java) S 4902 4902 4858 0 -1 1077944384 1352 0 0 0 11 1 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675063318928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4913] ppid=4902 vsize=28835920 memory=1160 CPUtime=0.13 cores=0-7 /proc/4904/task/4913/stat : 4913 (java) S 4902 4902 4858 0 -1 1077944384 1057 0 0 0 11 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675062266128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4914] ppid=4902 vsize=28835920 memory=1720 CPUtime=0.05 cores=0-7 /proc/4904/task/4914/stat : 4914 (java) S 4902 4902 4858 0 -1 1077944384 2127 0 0 0 4 1 0 0 20 0 28 0 417947716 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674634623856 140675518220930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4915] ppid=4902 vsize=28835920 memory=1452 CPUtime=0 cores=0-7 /proc/4904/task/4915/stat : 4915 (java) S 4902 4902 4858 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417947717 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674633569888 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4916] ppid=4902 vsize=28835920 memory=292308 CPUtime=0 cores=0-7 /proc/4904/task/4916/stat : 4916 (java) S 4902 4902 4858 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 417947717 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674632516992 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4917] ppid=4902 vsize=28835920 memory=0 CPUtime=0 cores=0-7 /proc/4904/task/4917/stat : 4917 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674631465296 140675518228379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4918] ppid=4902 vsize=28835920 memory=0 CPUtime=4.41 cores=0-7 /proc/4904/task/4918/stat : 4918 (java) S 4902 4902 4858 0 -1 1077944384 17961 0 0 0 436 5 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674630412656 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4919] ppid=4902 vsize=28835920 memory=0 CPUtime=4.15 cores=0-7 /proc/4904/task/4919/stat : 4919 (java) S 4902 4902 4858 0 -1 1077944384 13775 0 0 0 413 2 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674629359856 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4920] ppid=4902 vsize=28835920 memory=-7533511066042275164 CPUtime=4.35 cores=0-7 /proc/4904/task/4920/stat : 4920 (java) S 4902 4902 4858 0 -1 1077944384 27302 0 0 0 430 5 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674628307056 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4921] ppid=4902 vsize=28835920 memory=0 CPUtime=1.25 cores=0-7 /proc/4904/task/4921/stat : 4921 (java) S 4902 4902 4858 0 -1 1077944384 12157 0 0 0 123 2 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674627254256 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4922] ppid=4902 vsize=28835920 memory=644 CPUtime=0 cores=0-7 /proc/4904/task/4922/stat : 4922 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674626202720 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4923] ppid=4902 vsize=28835920 memory=6944656592387989600 CPUtime=0.01 cores=0-7 /proc/4904/task/4923/stat : 4923 (java) S 4902 4902 4858 0 -1 1077944384 2251 0 0 0 0 1 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674625150000 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5087] ppid=4902 vsize=28835920 memory=6944656592455359580 CPUtime=13.06 cores=0-7 /proc/4904/task/5087/stat : 5087 (java) S 4902 4902 4858 0 -1 1077944384 570 0 0 0 1306 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674613845920 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5088] ppid=4902 vsize=28835920 memory=6944656592455360604 CPUtime=13.2 cores=0-7 /proc/4904/task/5088/stat : 5088 (java) S 4902 4902 4858 0 -1 1077944384 459 0 0 0 1320 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674609636496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5089] ppid=4902 vsize=28835920 memory=6944656592387989600 CPUtime=13.11 cores=0-7 /proc/4904/task/5089/stat : 5089 (java) S 4902 4902 4858 0 -1 1077944384 2488 0 0 0 1311 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674611741712 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5090] ppid=4902 vsize=28835920 memory=6944656592455359580 CPUtime=13.07 cores=0-7 /proc/4904/task/5090/stat : 5090 (java) S 4902 4902 4858 0 -1 1077944384 1137 0 0 0 1306 1 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674540233616 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5091] ppid=4902 vsize=28835920 memory=6655300316396806240 CPUtime=22.83 cores=0-7 /proc/4904/task/5091/stat : 5091 (java) R 4902 4902 4858 0 -1 4202560 579 0 0 0 2283 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674612788600 140675163910165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5092] ppid=4902 vsize=28835920 memory=14012 CPUtime=22.67 cores=0-7 /proc/4904/task/5092/stat : 5092 (java) R 4902 4902 4858 0 -1 4202560 393 0 0 0 2267 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674610685656 140675163910103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5093] ppid=4902 vsize=28835920 memory=19456 CPUtime=12.91 cores=0-7 /proc/4904/task/5093/stat : 5093 (java) S 4902 4902 4858 0 -1 1077944384 734 0 0 0 1291 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674537076240 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5094] ppid=4902 vsize=28835920 memory=14068 CPUtime=12.92 cores=0-7 /proc/4904/task/5094/stat : 5094 (java) S 4902 4902 4858 0 -1 1077944384 459 0 0 0 1292 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674539181456 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 Current children cumulated CPU time: 208.36 s Current children cumulated vsize: 28949048 KiB Current children cumulated memory: 293760 KiB [startup+40.401 s] /proc/loadavg: 3.09 1.53 1.16 3/221 5095 /proc/meminfo: memFree=31332796/32770624 swapFree=67004224/67108860 [pid=4902] ppid=4899 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4902/stat : 4902 (xcsp3-exec) S 4899 4902 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417947713 115843072 363 33554432000 4194304 5098028 140723267682272 140723267680376 139812155564668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34258944 140723267687285 140723267687529 140723267687529 140723267690442 0 /proc/4902/statm: 28282 363 304 221 0 87 0 [pid=4904] ppid=4902 vsize=28835920 memory=292308 CPUtime=208.84 cores=0-7 /proc/4904/stat : 4904 (java) S 4902 4902 4858 0 -1 1077944320 109077 0 0 0 20827 57 0 0 20 0 28 0 417947713 29527982080 73077 33554432000 4194304 4196468 140723866457056 140723866439600 140675518209783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 /proc/4904/statm: 7208980 73077 3537 1 0 7170082 0 [pid=4904/tid=4905] ppid=4902 vsize=28835920 memory=776 CPUtime=0.79 cores=0-7 /proc/4904/task/4905/stat : 4905 (java) S 4902 4902 4858 0 -1 1077944384 9544 0 0 0 75 4 0 0 20 0 28 0 417947714 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675522450560 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4906] ppid=4902 vsize=28835920 memory=1160 CPUtime=0.12 cores=0-7 /proc/4904/task/4906/stat : 4906 (java) S 4902 4902 4858 0 -1 1077944384 867 0 0 0 10 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675481316496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4907] ppid=4902 vsize=28835920 memory=1720 CPUtime=0.13 cores=0-7 /proc/4904/task/4907/stat : 4907 (java) S 4902 4902 4858 0 -1 1077944384 939 0 0 0 11 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675068582928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4908] ppid=4902 vsize=28835920 memory=1096 CPUtime=0.14 cores=0-7 /proc/4904/task/4908/stat : 4908 (java) S 4902 4902 4858 0 -1 1077944384 231 0 0 0 12 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675067530128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4909] ppid=4902 vsize=28835920 memory=5964 CPUtime=0.12 cores=0-7 /proc/4904/task/4909/stat : 4909 (java) S 4902 4902 4858 0 -1 1077944384 579 0 0 0 10 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675066477328 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4910] ppid=4902 vsize=28835920 memory=804 CPUtime=0.14 cores=0-7 /proc/4904/task/4910/stat : 4910 (java) S 4902 4902 4858 0 -1 1077944384 505 0 0 0 11 3 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675065424528 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4911] ppid=4902 vsize=28835920 memory=1804 CPUtime=0.12 cores=0-7 /proc/4904/task/4911/stat : 4911 (java) S 4902 4902 4858 0 -1 1077944384 881 0 0 0 10 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675064371728 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4912] ppid=4902 vsize=28835920 memory=916 CPUtime=0.12 cores=0-7 /proc/4904/task/4912/stat : 4912 (java) S 4902 4902 4858 0 -1 1077944384 1352 0 0 0 11 1 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675063318928 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4913] ppid=4902 vsize=28835920 memory=3908 CPUtime=0.13 cores=0-7 /proc/4904/task/4913/stat : 4913 (java) S 4902 4902 4858 0 -1 1077944384 1057 0 0 0 11 2 0 0 20 0 28 0 417947715 29527982080 73077 33554432000 4194304 4196468 140723866457056 140675062266128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4914] ppid=4902 vsize=28835920 memory=1412 CPUtime=0.05 cores=0-7 /proc/4904/task/4914/stat : 4914 (java) S 4902 4902 4858 0 -1 1077944384 2131 0 0 0 4 1 0 0 20 0 28 0 417947716 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674634623856 140675518220930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4915] ppid=4902 vsize=28835920 memory=3388 CPUtime=0 cores=0-7 /proc/4904/task/4915/stat : 4915 (java) S 4902 4902 4858 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417947717 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674633569888 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4916] ppid=4902 vsize=28835920 memory=1452 CPUtime=0 cores=0-7 /proc/4904/task/4916/stat : 4916 (java) S 4902 4902 4858 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 417947717 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674632516992 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4917] ppid=4902 vsize=28835920 memory=292308 CPUtime=0 cores=0-7 /proc/4904/task/4917/stat : 4917 (java) S 4902 4902 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674631465296 140675518228379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4918] ppid=4902 vsize=28835920 memory=0 CPUtime=4.41 cores=0-7 /proc/4904/task/4918/stat : 4918 (java) S 4902 4902 4858 0 -1 1077944384 17961 0 0 0 436 5 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674630412656 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4919] ppid=4902 vsize=28835920 memory=8128038100524242582 CPUtime=4.15 cores=0-7 /proc/4904/task/4919/stat : 4919 (java) S 4902 4902 4858 0 -1 1077944384 13775 0 0 0 413 2 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674629359856 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4920] ppid=4902 vsize=28835920 memory=14965 CPUtime=4.35 cores=0-7 /proc/4904/task/4920/stat : 4920 (java) S 4902 4902 4858 0 -1 1077944384 27302 0 0 0 430 5 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674628307056 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4921] ppid=4902 vsize=28835920 memory=3073171 CPUtime=1.25 cores=0-7 /proc/4904/task/4921/stat : 4921 (java) S 4902 4902 4858 0 -1 1077944384 12157 0 0 0 123 2 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674627254256 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4922] ppid=4902 vsize=28835920 memory=289 CPUtime=0 cores=0-7 /proc/4904/task/4922/stat : 4922 (java) S 4902 4902 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674626202720 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=4923] ppid=4902 vsize=28835920 memory=6228594173296600421 CPUtime=0.01 cores=0-7 /proc/4904/task/4923/stat : 4923 (java) S 4902 4902 4858 0 -1 1077944384 2251 0 0 0 0 1 0 0 20 0 28 0 417947720 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674625150000 140675518220930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5087] ppid=4902 vsize=28835920 memory=5792262887553650768 CPUtime=13.06 cores=0-7 /proc/4904/task/5087/stat : 5087 (java) S 4902 4902 4858 0 -1 1077944384 570 0 0 0 1306 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674613845920 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5088] ppid=4902 vsize=28835920 memory=-6876588628787748224 CPUtime=13.2 cores=0-7 /proc/4904/task/5088/stat : 5088 (java) S 4902 4902 4858 0 -1 1077944384 459 0 0 0 1320 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674609636496 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5089] ppid=4902 vsize=28835920 memory=2241 CPUtime=13.11 cores=0-7 /proc/4904/task/5089/stat : 5089 (java) S 4902 4902 4858 0 -1 1077944384 2488 0 0 0 1311 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674611741712 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5090] ppid=4902 vsize=28835920 memory=2244 CPUtime=13.07 cores=0-7 /proc/4904/task/5090/stat : 5090 (java) S 4902 4902 4858 0 -1 1077944384 1137 0 0 0 1306 1 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674540233616 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5091] ppid=4902 vsize=28835920 memory=0 CPUtime=22.91 cores=0-7 /proc/4904/task/5091/stat : 5091 (java) S 4902 4902 4858 0 -1 1077944384 848 0 0 0 2291 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674612794128 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5092] ppid=4902 vsize=28835920 memory=0 CPUtime=23.06 cores=0-7 /proc/4904/task/5092/stat : 5092 (java) R 4902 4902 4858 0 -1 4202560 393 0 0 0 2306 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674610685656 140675163910006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5093] ppid=4902 vsize=28835920 memory=-7595754389018307680 CPUtime=12.91 cores=0-7 /proc/4904/task/5093/stat : 5093 (java) S 4902 4902 4858 0 -1 1077944384 734 0 0 0 1291 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674537076240 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 [pid=4904/tid=5094] ppid=4902 vsize=28835920 memory=-3775572685057999774 CPUtime=12.92 cores=0-7 /proc/4904/task/5094/stat : 5094 (java) S 4902 4902 4858 0 -1 1077944384 459 0 0 0 1292 0 0 0 20 0 28 0 417949415 29527982080 73077 33554432000 4194304 4196468 140723866457056 140674539181456 140675518219989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23302144 140723866465258 140723866465430 140723866465430 140723866468303 0 Current children cumulated CPU time: 208.84 s Current children cumulated vsize: 28949048 KiB Current children cumulated memory: 293760 KiB [startup+40.8011 s] /proc/loadavg: 3.09 1.53 1.16 3/221 5095 /proc/meminfo: memFree=31332796/32770624 swapFree=67004224/67108860 [pid=4902] ppid=4899 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4902/stat : 4902 (xcsp3-exec) S 4899 4902 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417947713 115843072 363 33554432000 4194304 5098028 140723267682272 140723267680376 139812155564668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34258944 140723267687285 140723267687529 140723267687529 140723267690442 0 /proc/4902/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): 40.8082 CPU time (s): 209.259 CPU user time (s): 208.663 CPU system time (s): 0.595753 CPU usage (%): 512.786 Max. virtual memory (cumulated for all children) (KiB): 28949048 Max. memory (cumulated for all children) (KiB): 320168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 208.663 system time used= 0.595753 maximum resident set size= 320768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111067 page faults= 0 swaps= 0 block input operations= 10000 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9624 involuntary context switches= 3609 # summary of solver processes directly reported to runsolver: # pid: 4902 # total CPU time (s): 209.259 # total CPU user time (s): 208.663 # total CPU system time (s): 0.595753 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.382263 second user time and 0.453255 second system time The end
Begin job on node148 at 2019-09-14 01:37:04 IDJOB=4393788 IDBENCH=115810 IDSOLVER=2841 FILE ID=node148/4393788-1568417861 RUNJOBID= node148-1568417824-4885 PBS_JOBID= 21702282 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-1.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-4393788-1568417861/watcher-4393788-1568417861 -o /tmp/evaluation-result-4393788-1568417861/solver-4393788-1568417861 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1322764831 HOME/instance-4393788-1568417861.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3747a76ad44ca32161ac6cfee5e9d7cb RANDOM SEED=1322764831 node148.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.13 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.13 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.13 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.13 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: 31621156 kB MemAvailable: 31914956 kB Buffers: 57524 kB Cached: 535224 kB SwapCached: 3820 kB Active: 347008 kB Inactive: 250416 kB Active(anon): 2140 kB Inactive(anon): 43732 kB Active(file): 344868 kB Inactive(file): 206684 kB Unevictable: 108956 kB Mlocked: 108956 kB SwapTotal: 67108860 kB SwapFree: 67004224 kB Dirty: 25768 kB Writeback: 0 kB AnonPages: 111284 kB Mapped: 42708 kB Shmem: 32344 kB Slab: 144644 kB SReclaimable: 116168 kB SUnreclaim: 28476 kB KernelStack: 3376 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 495784 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61284 MiB End job on node148 at 2019-09-14 01:37:45