Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 96 | 357.275 | 68.2763 |
Name | Tal/ Tal-03_c18.xml |
MD5SUM | fb5ba5d4d49d61a1ee3ee3c25fa47163 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 96 |
Best CPU time to get the best result obtained on this benchmark | 32.9798 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 404 |
Number of constraints | 286 |
Number of domains | 10 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}] |
Minimum variable degree | 0 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}] |
Number of extensional constraints | 49 |
Number of intensional constraints | 225 |
Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407329-1569349777.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407329-1569349777.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 54.95/29.20 c solve instance... 55.64/29.39 o 192 55.64/29.39 o 176 55.64/29.39 o 165 55.64/29.40 o 164 56.32/29.40 o 160 56.32/29.41 o 156 58.65/29.77 o 148 58.65/29.78 o 144 59.42/29.82 o 140 59.42/29.83 o 136 59.42/29.83 o 132 59.42/29.84 o 128 59.42/29.86 o 124 60.17/29.90 o 120 60.17/29.90 o 116 68.08/30.99 o 112 76.78/32.08 o 108 76.78/32.10 o 104 77.55/32.14 o 100 77.55/32.16 o 96 356.88/68.24 s OPTIMUM FOUND 356.88/68.24 v <instantiation> 356.88/68.24 v <list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[7][0] l[7][1] l[7][2] l[7][3] l[8][0] l[8][1] l[8][2] l[8][3] l[9][0] l[9][1] l[9][2] l[10][0] l[10][1] l[10][2] l[11][0] l[11][1] l[12][0] l[12][1] l[13][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[7][0] a[7][1] a[7][2] a[7][3] a[9][0] a[9][1] a[9][2] a[11][0] a[11][1] a[13][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[8][0] i[8][1] i[8][2] i[8][3] i[10][0] i[10][1] i[10][2] i[12][0] i[12][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] </list> 356.88/68.24 v <values>0 0 0 0 0 0 0 0 16 0 0 4 16 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 10 12 13 4 16 8 9 7 0 13 5 4 8 9 7 13 5 4 8 0 9 7 13 8 0 3 9 7 13 8 3 0 9 7 13 3 3 9 7 13 3 3 7 7 2 0 7 7 2 0 4 4 3 4 4 3 6 0 6 0 6 1 2 0 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 3 0 1 1 1 3 0 1 0 1 3 4 5 6 6 0 1 2 3 5 5 0 1 2 3 4 0 1 2 3 0 1 2 0 1 1 1 1 1 0 0 1 1 0 0 1 1 </values> 356.88/68.24 v </instantiation>
OK 96
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 (13353 MiB free) memory of node 1: 16384 MiB (12509 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407329-1569349777/watcher-4407329-1569349777 -o /var/tmp/evaluation-result-4407329-1569349777/solver-4407329-1569349777 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569335934-10152 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4407329-1569349777.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=15153, runsolver pid=15150 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 7.97 7.88 7.72 3/212 15174 /proc/meminfo: memFree=26466856/32770624 swapFree=67002124/67108860 [pid=15153] ppid=15150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15153/stat : 15153 (xcsp3-exec) S 15150 15153 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511226243 115843072 363 33554432000 4194304 5098028 140727629554560 140727629552664 140335835431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30470144 140727629562711 140727629562970 140727629562970 140727629565894 0 /proc/15153/statm: 28282 363 304 221 0 87 0 [pid=15155] ppid=15153 vsize=28227396 memory=29056 CPUtime=0.12 cores=0-7 /proc/15155/stat : 15155 (java) S 15153 15153 10125 0 -1 1077944320 5745 0 0 0 11 1 0 0 20 0 20 0 511226243 28904853504 7264 33554432000 4194304 4196468 140727135853840 140727135836384 140136930926327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 /proc/15155/statm: 7056849 7264 3126 1 0 7019032 0 [pid=15155/tid=15156] ppid=15153 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15155/task/15156/stat : 15156 (java) R 15153 15153 10125 0 -1 4202560 3690 0 0 0 8 0 0 0 20 0 20 0 511226243 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136935157600 140136930938262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15157] ppid=15153 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15155/task/15157/stat : 15157 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136883546896 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15158] ppid=15153 vsize=28227396 memory=140004302947968 CPUtime=0 cores=0-7 /proc/15155/task/15158/stat : 15158 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136882494352 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15159] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15159/stat : 15159 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136881441808 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15160] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15160/stat : 15160 (java) S 15153 15153 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136880389264 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15161] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15161/stat : 15161 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136879335696 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15162] ppid=15153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15155/task/15162/stat : 15162 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136878283152 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15163] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15163/stat : 15163 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136877230608 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15164] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15164/stat : 15164 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 7330 33554432000 4194304 4196468 140727135853840 140136876178064 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15165] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15165/stat : 15165 (java) S 15153 15153 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511226246 28904853504 7330 33554432000 4194304 4196468 140727135853840 140135059372528 140136930937474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15166] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15166/stat : 15166 (java) S 15153 15153 10125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511226246 28904853504 7330 33554432000 4194304 4196468 140727135853840 140135058318752 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15167] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15167/stat : 15167 (java) S 15153 15153 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511226246 28904853504 7330 33554432000 4194304 4196468 140727135853840 140135057266160 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15168] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15168/stat : 15168 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 7330 33554432000 4194304 4196468 140727135853840 140135056214736 140136930944923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15169] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15169/stat : 15169 (java) S 15153 15153 10125 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 7330 33554432000 4194304 4196468 140727135853840 140135055161328 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15170] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15170/stat : 15170 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 7330 33554432000 4194304 4196468 140727135853840 140135054108784 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15171] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15171/stat : 15171 (java) R 15153 15153 10125 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 7330 33554432000 4194304 4196468 140727135853840 140134744676592 140136914457784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15172] ppid=15153 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/15155/task/15172/stat : 15172 (java) R 15153 15153 10125 0 -1 4202560 311 0 0 0 2 0 0 0 20 0 20 0 511226249 28904853504 7330 33554432000 4194304 4196468 140727135853840 140134743624048 140136916091884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15173] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15173/stat : 15173 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 7330 33554432000 4194304 4196468 140727135853840 140134742571744 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15174] ppid=15153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15155/task/15174/stat : 15174 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 7330 33554432000 4194304 4196468 140727135853840 140134741519280 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30508 KiB [startup+0.210764 s]* /proc/loadavg: 7.97 7.88 7.72 3/212 15174 /proc/meminfo: memFree=26452652/32770624 swapFree=67002124/67108860 [pid=15153] ppid=15150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15153/stat : 15153 (xcsp3-exec) S 15150 15153 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511226243 115843072 363 33554432000 4194304 5098028 140727629554560 140727629552664 140335835431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30470144 140727629562711 140727629562970 140727629562970 140727629565894 0 /proc/15153/statm: 28282 363 304 221 0 87 0 [pid=15155] ppid=15153 vsize=28227396 memory=41108 CPUtime=0.34 cores=0-7 /proc/15155/stat : 15155 (java) S 15153 15153 10125 0 -1 1077944320 9534 0 0 0 31 3 0 0 20 0 20 0 511226243 28904853504 10277 33554432000 4194304 4196468 140727135853840 140727135836384 140136930926327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 /proc/15155/statm: 7056849 10277 3284 1 0 7019032 0 [pid=15155/tid=15156] ppid=15153 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/15155/task/15156/stat : 15156 (java) R 15153 15153 10125 0 -1 4202560 6657 0 0 0 18 2 0 0 20 0 20 0 511226243 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136935160384 140136930948253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15157] ppid=15153 vsize=28227396 memory=330 CPUtime=0 cores=0-7 /proc/15155/task/15157/stat : 15157 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136883546896 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15158] ppid=15153 vsize=28227396 memory=140004302962637 CPUtime=0 cores=0-7 /proc/15155/task/15158/stat : 15158 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136882494352 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15159] ppid=15153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15155/task/15159/stat : 15159 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136881441808 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15160] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15160/stat : 15160 (java) S 15153 15153 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136880389264 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15161] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15161/stat : 15161 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136879335696 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15162] ppid=15153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15155/task/15162/stat : 15162 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136878283152 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15163] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15163/stat : 15163 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136877230608 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15164] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15164/stat : 15164 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28904853504 10277 33554432000 4194304 4196468 140727135853840 140136876178064 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15165] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15165/stat : 15165 (java) S 15153 15153 10125 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511226246 28904853504 10277 33554432000 4194304 4196468 140727135853840 140135059372528 140136930937474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15166] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15166/stat : 15166 (java) S 15153 15153 10125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511226246 28904853504 10277 33554432000 4194304 4196468 140727135853840 140135058318752 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15167] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15167/stat : 15167 (java) S 15153 15153 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511226246 28904853504 10277 33554432000 4194304 4196468 140727135853840 140135057266160 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15168] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15168/stat : 15168 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 10277 33554432000 4194304 4196468 140727135853840 140135056214736 140136930944923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15169] ppid=15153 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/15155/task/15169/stat : 15169 (java) S 15153 15153 10125 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 20 0 511226249 28904853504 10277 33554432000 4194304 4196468 140727135853840 140135055161328 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15170] ppid=15153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15155/task/15170/stat : 15170 (java) S 15153 15153 10125 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 511226249 28904853504 10277 33554432000 4194304 4196468 140727135853840 140135054108784 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15171] ppid=15153 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/15155/task/15171/stat : 15171 (java) S 15153 15153 10125 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 511226249 28904853504 10277 33554432000 4194304 4196468 140727135853840 140134744676592 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15172] ppid=15153 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/15155/task/15172/stat : 15172 (java) R 15153 15153 10125 0 -1 4202560 763 0 0 0 8 0 0 0 20 0 20 0 511226249 28904853504 10277 33554432000 4194304 4196468 140727135853840 140134743624048 140136930947674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15173] ppid=15153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15173/stat : 15173 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 10277 33554432000 4194304 4196468 140727135853840 140134742571744 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15174] ppid=15153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15155/task/15174/stat : 15174 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226249 28904853504 10277 33554432000 4194304 4196468 140727135853840 140134741519280 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42560 KiB [startup+0.310611 s]* /proc/loadavg: 7.97 7.88 7.72 4/212 15174 /proc/meminfo: memFree=26446964/32770624 swapFree=67002124/67108860 [pid=15153] ppid=15150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15153/stat : 15153 (xcsp3-exec) S 15150 15153 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511226243 115843072 363 33554432000 4194304 5098028 140727629554560 140727629552664 140335835431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30470144 140727629562711 140727629562970 140727629562970 140727629565894 0 /proc/15153/statm: 28282 363 304 221 0 87 0 [pid=15155] ppid=15153 vsize=28231652 memory=50316 CPUtime=0.53 cores=0-7 /proc/15155/stat : 15155 (java) S 15153 15153 10125 0 -1 1077944320 10932 0 0 0 49 4 0 0 20 0 20 0 511226243 28909211648 12579 33554432000 4194304 4196468 140727135853840 140727135836384 140136930926327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 /proc/15155/statm: 7057913 12579 3327 1 0 7019032 0 [pid=15155/tid=15156] ppid=15153 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15155/task/15156/stat : 15156 (java) R 15153 15153 10125 0 -1 4202560 7841 0 0 0 27 2 0 0 20 0 20 0 511226243 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136935160112 140136915006814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15157] ppid=15153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15157/stat : 15157 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136883546896 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15158] ppid=15153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15158/stat : 15158 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136882494352 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15159] ppid=15153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15159/stat : 15159 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136881441808 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15160] ppid=15153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15160/stat : 15160 (java) S 15153 15153 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136880389264 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15161] ppid=15153 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/15155/task/15161/stat : 15161 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136879335696 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15162] ppid=15153 vsize=28231652 memory=140004189893551 CPUtime=0 cores=0-7 /proc/15155/task/15162/stat : 15162 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136878283152 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15163] ppid=15153 vsize=28231652 memory=140004189895856 CPUtime=0 cores=0-7 /proc/15155/task/15163/stat : 15163 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136877230608 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15164] ppid=15153 vsize=28231652 memory=140004189898160 CPUtime=0 cores=0-7 /proc/15155/task/15164/stat : 15164 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28909211648 12648 33554432000 4194304 4196468 140727135853840 140136876178064 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15165] ppid=15153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15165/stat : 15165 (java) S 15153 15153 10125 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511226246 28909211648 12648 33554432000 4194304 4196468 140727135853840 140135059372528 140136930937474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15166] ppid=15153 vsize=28231652 memory=280008379803280 CPUtime=0 cores=0-7 /proc/15155/task/15166/stat : 15166 (java) S 15153 15153 10125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511226246 28909211648 12648 33554432000 4194304 4196468 140727135853840 140135058318752 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15167] ppid=15153 vsize=28231652 memory=280008379810192 CPUtime=0 cores=0-7 /proc/15155/task/15167/stat : 15167 (java) S 15153 15153 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511226246 28909211648 12648 33554432000 4194304 4196468 140727135853840 140135057266160 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15168] ppid=15153 vsize=28231652 memory=280008379751472 CPUtime=0 cores=0-7 /proc/15155/task/15168/stat : 15168 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226249 28909211648 12648 33554432000 4194304 4196468 140727135853840 140135056214736 140136930944923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15169] ppid=15153 vsize=28231652 memory=280008379824016 CPUtime=0.03 cores=0-7 /proc/15155/task/15169/stat : 15169 (java) S 15153 15153 10125 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 20 0 511226249 28909211648 12648 33554432000 4194304 4196468 140727135853840 140135055161328 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15170] ppid=15153 vsize=28231652 memory=280008379830928 CPUtime=0.03 cores=0-7 /proc/15155/task/15170/stat : 15170 (java) R 15153 15153 10125 0 -1 4202560 140 0 0 0 3 0 0 0 20 0 20 0 511226249 28909211648 12648 33554432000 4194304 4196468 140727135853840 140135054100240 140136915855807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15171] ppid=15153 vsize=28231652 memory=280008379828624 CPUtime=0.01 cores=0-7 /proc/15155/task/15171/stat : 15171 (java) S 15153 15153 10125 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 511226249 28909211648 12648 33554432000 4194304 4196468 140727135853840 140134744676592 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15172] ppid=15153 vsize=28231652 memory=280008379844784 CPUtime=0.12 cores=0-7 /proc/15155/task/15172/stat : 15172 (java) S 15153 15153 10125 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 20 0 511226249 28909211648 12648 33554432000 4194304 4196468 140727135853840 140134743624048 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15173] ppid=15153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15173/stat : 15173 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226249 28909211648 12648 33554432000 4194304 4196468 140727135853840 140134742571744 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15174] ppid=15153 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/15155/task/15174/stat : 15174 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226249 28909211648 12648 33554432000 4194304 4196468 140727135853840 140134741519280 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51768 KiB [startup+0.700992 s] /proc/loadavg: 7.97 7.88 7.72 5/212 15174 /proc/meminfo: memFree=26421468/32770624 swapFree=67002124/67108860 [pid=15153] ppid=15150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15153/stat : 15153 (xcsp3-exec) S 15150 15153 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511226243 115843072 363 33554432000 4194304 5098028 140727629554560 140727629552664 140335835431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30470144 140727629562711 140727629562970 140727629562970 140727629565894 0 /proc/15153/statm: 28282 363 304 221 0 87 0 [pid=15155] ppid=15153 vsize=28233776 memory=97008 CPUtime=1.92 cores=0-7 /proc/15155/stat : 15155 (java) S 15153 15153 10125 0 -1 1077944320 16257 0 0 0 186 6 0 0 20 0 20 0 511226243 28911386624 24252 33554432000 4194304 4196468 140727135853840 140727135836384 140136930926327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 /proc/15155/statm: 7058444 24252 3460 1 0 7019544 0 [pid=15155/tid=15156] ppid=15153 vsize=28233776 memory=280008380202672 CPUtime=0.67 cores=0-7 /proc/15155/task/15156/stat : 15156 (java) R 15153 15153 10125 0 -1 4202560 9090 0 0 0 64 3 0 0 20 0 20 0 511226243 28911386624 24252 33554432000 4194304 4196468 140727135853840 140136935161584 140136923604341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15157] ppid=15153 vsize=28233776 memory=140004190102384 CPUtime=0 cores=0-7 /proc/15155/task/15157/stat : 15157 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28911386624 24252 33554432000 4194304 4196468 140727135853840 140136883546896 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15158] ppid=15153 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15155/task/15158/stat : 15158 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511226244 28911386624 24252 33554432000 4194304 4196468 140727135853840 140136882494352 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15159] ppid=15153 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/15155/task/15159/stat : 15159 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511226244 28911386624 24252 33554432000 4194304 4196468 140727135853840 140136881441808 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 ################ # More data... # ################ [pid=15155/tid=15172] ppid=15153 vsize=29234284 memory=2 CPUtime=1.04 cores=0-7 /proc/15155/task/15172/stat : 15172 (java) S 15153 15153 10125 0 -1 1077944384 10922 0 0 0 101 3 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134743624048 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15173] ppid=15153 vsize=29234284 memory=1452 CPUtime=0 cores=0-7 /proc/15155/task/15173/stat : 15173 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134742571744 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15174] ppid=15153 vsize=29234284 memory=4212168 CPUtime=0.01 cores=0-7 /proc/15155/task/15174/stat : 15174 (java) S 15153 15153 10125 0 -1 1077944384 1388 0 0 0 0 1 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134741519280 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15335] ppid=15153 vsize=29234284 memory=14008 CPUtime=32.46 cores=0-7 /proc/15155/task/15335/stat : 15335 (java) R 15153 15153 10125 0 -1 4202560 1612 0 0 0 3242 4 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134727282472 140136554591048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15336] ppid=15153 vsize=29234284 memory=1452 CPUtime=32.49 cores=0-7 /proc/15155/task/15336/stat : 15336 (java) R 15153 15153 10125 0 -1 4202560 918 0 0 0 3247 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134717809240 140136554591440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15337] ppid=15153 vsize=29234284 memory=4212172 CPUtime=32.43 cores=0-7 /proc/15155/task/15337/stat : 15337 (java) R 15153 15153 10125 0 -1 4202560 1794 0 0 0 3241 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134719916200 140136546408332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15338] ppid=15153 vsize=29234284 memory=6628 CPUtime=32.47 cores=0-7 /proc/15155/task/15338/stat : 15338 (java) R 15153 15153 10125 0 -1 4202560 3055 0 0 0 3244 3 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140133441458296 140136555007582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15339] ppid=15153 vsize=29234284 memory=19873 CPUtime=32.6 cores=0-7 /proc/15155/task/15339/stat : 15339 (java) R 15153 15153 10125 0 -1 4202560 2329 0 0 0 3258 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134725177176 140136554487764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15340] ppid=15153 vsize=29234284 memory=11044 CPUtime=32.4 cores=0-7 /proc/15155/task/15340/stat : 15340 (java) R 15153 15153 10125 0 -1 4202560 1149 0 0 0 3239 1 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134718861272 140136554593369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15341] ppid=15153 vsize=29234284 memory=13252 CPUtime=32.03 cores=0-7 /proc/15155/task/15341/stat : 15341 (java) R 15153 15153 10125 0 -1 4202560 2018 0 0 0 3198 5 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134728335192 140136546752872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15342] ppid=15153 vsize=29234284 memory=15460 CPUtime=32.46 cores=0-7 /proc/15155/task/15342/stat : 15342 (java) R 15153 15153 10125 0 -1 4202560 1948 0 0 0 3243 3 0 0 20 0 28 0 511229460 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140133440405528 140136548690654 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 Current children cumulated CPU time: 348.91 s Current children cumulated vsize: 29347412 KiB Current children cumulated memory: 4213624 KiB [startup+68.0021 s]* /proc/loadavg: 7.36 7.59 7.62 9/219 15345 /proc/meminfo: memFree=22276692/32770624 swapFree=67002124/67108860 [pid=15153] ppid=15150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15153/stat : 15153 (xcsp3-exec) S 15150 15153 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511226243 115843072 363 33554432000 4194304 5098028 140727629554560 140727629552664 140335835431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30470144 140727629562711 140727629562970 140727629562970 140727629565894 0 /proc/15153/statm: 28282 363 304 221 0 87 0 [pid=15155] ppid=15153 vsize=29234284 memory=4212172 CPUtime=355.36 cores=0-7 /proc/15155/stat : 15155 (java) S 15153 15153 10125 0 -1 1077944320 143025 0 0 0 34552 984 0 0 20 0 28 0 511226243 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140727135836384 140136930926327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 /proc/15155/statm: 7308571 1053043 3557 1 0 7269671 0 [pid=15155/tid=15156] ppid=15153 vsize=29234284 memory=6791534058613427641 CPUtime=24.48 cores=0-7 /proc/15155/task/15156/stat : 15156 (java) S 15153 15153 10125 0 -1 1077944384 16071 0 0 0 2436 12 0 0 20 0 28 0 511226243 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136935167104 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15157] ppid=15153 vsize=29234284 memory=4872558044660077418 CPUtime=4.62 cores=0-7 /proc/15155/task/15157/stat : 15157 (java) S 15153 15153 10125 0 -1 1077944384 5363 0 0 0 344 118 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136883546896 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15158] ppid=15153 vsize=29234284 memory=0 CPUtime=4.63 cores=0-7 /proc/15155/task/15158/stat : 15158 (java) S 15153 15153 10125 0 -1 1077944384 3493 0 0 0 349 114 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136882494352 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15159] ppid=15153 vsize=29234284 memory=7893295687695689787 CPUtime=4.59 cores=0-7 /proc/15155/task/15159/stat : 15159 (java) S 15153 15153 10125 0 -1 1077944384 3935 0 0 0 337 122 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136881441808 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15160] ppid=15153 vsize=29234284 memory=0 CPUtime=4.62 cores=0-7 /proc/15155/task/15160/stat : 15160 (java) S 15153 15153 10125 0 -1 1077944384 3635 0 0 0 345 117 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136880389264 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15161] ppid=15153 vsize=29234284 memory=7013041852100208999 CPUtime=4.61 cores=0-7 /proc/15155/task/15161/stat : 15161 (java) S 15153 15153 10125 0 -1 1077944384 5280 0 0 0 351 110 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136879335696 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15162] ppid=15153 vsize=29234284 memory=7440056984007045732 CPUtime=4.55 cores=0-7 /proc/15155/task/15162/stat : 15162 (java) S 15153 15153 10125 0 -1 1077944384 5788 0 0 0 347 108 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136878283152 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15163] ppid=15153 vsize=29234284 memory=7811884323763939432 CPUtime=4.61 cores=0-7 /proc/15155/task/15163/stat : 15163 (java) S 15153 15153 10125 0 -1 1077944384 3679 0 0 0 344 117 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136877230608 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15164] ppid=15153 vsize=29234284 memory=64568 CPUtime=4.56 cores=0-7 /proc/15155/task/15164/stat : 15164 (java) S 15153 15153 10125 0 -1 1077944384 3866 0 0 0 348 108 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136876178064 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15165] ppid=15153 vsize=29234284 memory=988 CPUtime=2.73 cores=0-7 /proc/15155/task/15165/stat : 15165 (java) S 15153 15153 10125 0 -1 1077944384 13127 0 0 0 270 3 0 0 20 0 28 0 511226246 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135059372528 140136930937474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15166] ppid=15153 vsize=29234284 memory=2024 CPUtime=0 cores=0-7 /proc/15155/task/15166/stat : 15166 (java) S 15153 15153 10125 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 511226246 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135058318816 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15167] ppid=15153 vsize=29234284 memory=1416 CPUtime=0 cores=0-7 /proc/15155/task/15167/stat : 15167 (java) S 15153 15153 10125 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 511226246 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135057266176 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15168] ppid=15153 vsize=29234284 memory=776 CPUtime=0 cores=0-7 /proc/15155/task/15168/stat : 15168 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135056214736 140136930944923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15169] ppid=15153 vsize=29234284 memory=3540 CPUtime=3.04 cores=0-7 /proc/15155/task/15169/stat : 15169 (java) S 15153 15153 10125 0 -1 1077944384 14858 0 0 0 302 2 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135055161328 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15170] ppid=15153 vsize=29234284 memory=1232 CPUtime=2.77 cores=0-7 /proc/15155/task/15170/stat : 15170 (java) S 15153 15153 10125 0 -1 1077944384 16041 0 0 0 273 4 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135054108784 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15171] ppid=15153 vsize=29234284 memory=10600 CPUtime=2.6 cores=0-7 /proc/15155/task/15171/stat : 15171 (java) S 15153 15153 10125 0 -1 1077944384 14339 0 0 0 258 2 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134744676592 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15172] ppid=15153 vsize=29234284 memory=1736 CPUtime=1.04 cores=0-7 /proc/15155/task/15172/stat : 15172 (java) S 15153 15153 10125 0 -1 1077944384 10922 0 0 0 101 3 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134743624048 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15173] ppid=15153 vsize=29234284 memory=6188 CPUtime=0 cores=0-7 /proc/15155/task/15173/stat : 15173 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134742571744 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15174] ppid=15153 vsize=29234284 memory=636 CPUtime=0.02 cores=0-7 /proc/15155/task/15174/stat : 15174 (java) S 15153 15153 10125 0 -1 1077944384 1388 0 0 0 0 2 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134741519280 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15335] ppid=15153 vsize=29234284 memory=2836 CPUtime=33.27 cores=0-7 /proc/15155/task/15335/stat : 15335 (java) R 15153 15153 10125 0 -1 4202560 1612 0 0 0 3323 4 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134727282472 140136549801888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15336] ppid=15153 vsize=29234284 memory=1452 CPUtime=33.3 cores=0-7 /proc/15155/task/15336/stat : 15336 (java) R 15153 15153 10125 0 -1 4202560 928 0 0 0 3328 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134717809240 140136554056348 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15337] ppid=15153 vsize=29234284 memory=4212172 CPUtime=33.24 cores=0-7 /proc/15155/task/15337/stat : 15337 (java) R 15153 15153 10125 0 -1 4202560 1795 0 0 0 3322 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134719916200 140136554661975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15338] ppid=15153 vsize=29234284 memory=14689690934577713 CPUtime=33.28 cores=0-7 /proc/15155/task/15338/stat : 15338 (java) R 15153 15153 10125 0 -1 4202560 3070 0 0 0 3325 3 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140133441458296 140136554695675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15339] ppid=15153 vsize=29234284 memory=4108 CPUtime=33.4 cores=0-7 /proc/15155/task/15339/stat : 15339 (java) R 15153 15153 10125 0 -1 4202560 2340 0 0 0 3338 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134725177288 140136554705714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15340] ppid=15153 vsize=29234284 memory=1412 CPUtime=33.21 cores=0-7 /proc/15155/task/15340/stat : 15340 (java) R 15153 15153 10125 0 -1 4202560 1177 0 0 0 3320 1 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134718861272 140136554487778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15341] ppid=15153 vsize=29234284 memory=3224 CPUtime=32.82 cores=0-7 /proc/15155/task/15341/stat : 15341 (java) R 15153 15153 10125 0 -1 4202560 2018 0 0 0 3277 5 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134728335192 140136554695488 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15342] ppid=15153 vsize=29234284 memory=1452 CPUtime=33.27 cores=0-7 /proc/15155/task/15342/stat : 15342 (java) R 15153 15153 10125 0 -1 4202560 1956 0 0 0 3324 3 0 0 20 0 28 0 511229460 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140133440405528 140136554593771 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 Current children cumulated CPU time: 355.36 s Current children cumulated vsize: 29347412 KiB Current children cumulated memory: 4213624 KiB [startup+68.2021 s] /proc/loadavg: 7.36 7.59 7.62 9/219 15345 /proc/meminfo: memFree=22276692/32770624 swapFree=67002124/67108860 [pid=15153] ppid=15150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15153/stat : 15153 (xcsp3-exec) S 15150 15153 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511226243 115843072 363 33554432000 4194304 5098028 140727629554560 140727629552664 140335835431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30470144 140727629562711 140727629562970 140727629562970 140727629565894 0 /proc/15153/statm: 28282 363 304 221 0 87 0 [pid=15155] ppid=15153 vsize=29234284 memory=4212172 CPUtime=356.88 cores=0-7 /proc/15155/stat : 15155 (java) S 15153 15153 10125 0 -1 1077944320 144274 0 0 0 34704 984 0 0 20 0 28 0 511226243 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140727135836384 140136930926327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 /proc/15155/statm: 7308571 1053043 3557 1 0 7269671 0 [pid=15155/tid=15156] ppid=15153 vsize=29234284 memory=4872558044660077418 CPUtime=24.48 cores=0-7 /proc/15155/task/15156/stat : 15156 (java) S 15153 15153 10125 0 -1 1077944384 16071 0 0 0 2436 12 0 0 20 0 28 0 511226243 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136935167104 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15157] ppid=15153 vsize=29234284 memory=0 CPUtime=4.62 cores=0-7 /proc/15155/task/15157/stat : 15157 (java) S 15153 15153 10125 0 -1 1077944384 5363 0 0 0 344 118 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136883546896 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15158] ppid=15153 vsize=29234284 memory=0 CPUtime=4.63 cores=0-7 /proc/15155/task/15158/stat : 15158 (java) S 15153 15153 10125 0 -1 1077944384 3493 0 0 0 349 114 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136882494352 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15159] ppid=15153 vsize=29234284 memory=0 CPUtime=4.59 cores=0-7 /proc/15155/task/15159/stat : 15159 (java) S 15153 15153 10125 0 -1 1077944384 3935 0 0 0 337 122 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136881441808 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15160] ppid=15153 vsize=29234284 memory=0 CPUtime=4.62 cores=0-7 /proc/15155/task/15160/stat : 15160 (java) S 15153 15153 10125 0 -1 1077944384 3635 0 0 0 345 117 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136880389264 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15161] ppid=15153 vsize=29234284 memory=304556123141439514 CPUtime=4.61 cores=0-7 /proc/15155/task/15161/stat : 15161 (java) S 15153 15153 10125 0 -1 1077944384 5280 0 0 0 351 110 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136879335696 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15162] ppid=15153 vsize=29234284 memory=288230621803970871 CPUtime=4.55 cores=0-7 /proc/15155/task/15162/stat : 15162 (java) S 15153 15153 10125 0 -1 1077944384 5788 0 0 0 347 108 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136878283152 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15163] ppid=15153 vsize=29234284 memory=14689690934577713 CPUtime=4.61 cores=0-7 /proc/15155/task/15163/stat : 15163 (java) S 15153 15153 10125 0 -1 1077944384 3679 0 0 0 344 117 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136877230608 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15164] ppid=15153 vsize=29234284 memory=4212164 CPUtime=4.56 cores=0-7 /proc/15155/task/15164/stat : 15164 (java) S 15153 15153 10125 0 -1 1077944384 3866 0 0 0 348 108 0 0 20 0 28 0 511226244 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140136876178064 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15165] ppid=15153 vsize=29234284 memory=2676 CPUtime=2.73 cores=0-7 /proc/15155/task/15165/stat : 15165 (java) S 15153 15153 10125 0 -1 1077944384 13127 0 0 0 270 3 0 0 20 0 28 0 511226246 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135059372528 140136930937474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15166] ppid=15153 vsize=29234284 memory=1764 CPUtime=0 cores=0-7 /proc/15155/task/15166/stat : 15166 (java) S 15153 15153 10125 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 511226246 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135058318816 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15167] ppid=15153 vsize=29234284 memory=111632 CPUtime=0 cores=0-7 /proc/15155/task/15167/stat : 15167 (java) S 15153 15153 10125 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 511226246 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135057266176 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15168] ppid=15153 vsize=29234284 memory=796 CPUtime=0 cores=0-7 /proc/15155/task/15168/stat : 15168 (java) S 15153 15153 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135056214736 140136930944923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15169] ppid=15153 vsize=29234284 memory=1808 CPUtime=3.04 cores=0-7 /proc/15155/task/15169/stat : 15169 (java) S 15153 15153 10125 0 -1 1077944384 14891 0 0 0 302 2 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135055161328 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15170] ppid=15153 vsize=29234284 memory=920 CPUtime=2.8 cores=0-7 /proc/15155/task/15170/stat : 15170 (java) S 15153 15153 10125 0 -1 1077944384 17025 0 0 0 276 4 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140135054108784 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15171] ppid=15153 vsize=29234284 memory=1452 CPUtime=2.6 cores=0-7 /proc/15155/task/15171/stat : 15171 (java) S 15153 15153 10125 0 -1 1077944384 14339 0 0 0 258 2 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134744676592 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15172] ppid=15153 vsize=29234284 memory=1452 CPUtime=1.05 cores=0-7 /proc/15155/task/15172/stat : 15172 (java) S 15153 15153 10125 0 -1 1077944384 11040 0 0 0 102 3 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134743624048 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15173] ppid=15153 vsize=29234284 memory=4212168 CPUtime=0 cores=0-7 /proc/15155/task/15173/stat : 15173 (java) S 15153 15153 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134742571744 140136930936533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15174] ppid=15153 vsize=29234284 memory=35328 CPUtime=0.02 cores=0-7 /proc/15155/task/15174/stat : 15174 (java) S 15153 15153 10125 0 -1 1077944384 1388 0 0 0 0 2 0 0 20 0 28 0 511226249 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134741519280 140136930937474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15335] ppid=15153 vsize=29234284 memory=1980 CPUtime=33.46 cores=0-7 /proc/15155/task/15335/stat : 15335 (java) R 15153 15153 10125 0 -1 4202560 1636 0 0 0 3342 4 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134727282472 140136554664237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15336] ppid=15153 vsize=29234284 memory=2676 CPUtime=33.49 cores=0-7 /proc/15155/task/15336/stat : 15336 (java) R 15153 15153 10125 0 -1 4202560 959 0 0 0 3347 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134717811416 140136554662110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15337] ppid=15153 vsize=29234284 memory=1764 CPUtime=33.43 cores=0-7 /proc/15155/task/15337/stat : 15337 (java) R 15153 15153 10125 0 -1 4202560 1798 0 0 0 3341 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134719912928 140136554593369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15338] ppid=15153 vsize=29234284 memory=111632 CPUtime=33.47 cores=0-7 /proc/15155/task/15338/stat : 15338 (java) R 15153 15153 10125 0 -1 4202560 3084 0 0 0 3344 3 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140133441457248 140136546410465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15339] ppid=15153 vsize=29234284 memory=796 CPUtime=33.6 cores=0-7 /proc/15155/task/15339/stat : 15339 (java) R 15153 15153 10125 0 -1 4202560 2341 0 0 0 3358 2 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134725177152 140136554662211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15340] ppid=15153 vsize=29234284 memory=1808 CPUtime=33.4 cores=0-7 /proc/15155/task/15340/stat : 15340 (java) R 15153 15153 10125 0 -1 4202560 1195 0 0 0 3339 1 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134718860920 140136554593295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15341] ppid=15153 vsize=29234284 memory=920 CPUtime=33.01 cores=0-7 /proc/15155/task/15341/stat : 15341 (java) R 15153 15153 10125 0 -1 4202560 2039 0 0 0 3296 5 0 0 20 0 28 0 511229459 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140134728335192 140136556808126 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 [pid=15155/tid=15342] ppid=15153 vsize=29234284 memory=5296 CPUtime=33.43 cores=0-7 /proc/15155/task/15342/stat : 15342 (java) R 15153 15153 10125 0 -1 4202560 1958 0 0 0 3340 3 0 0 20 0 28 0 511229460 29935906816 1053043 33554432000 4194304 4196468 140727135853840 140133440405528 140136554695381 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11083776 140727135859676 140727135859851 140727135859851 140727135862735 0 Current children cumulated CPU time: 356.88 s Current children cumulated vsize: 29347412 KiB Current children cumulated memory: 4213624 KiB Child status: 0 Real time (s): 68.2763 CPU time (s): 357.275 CPU user time (s): 347.397 CPU system time (s): 9.87826 CPU usage (%): 523.279 Max. virtual memory (cumulated for all children) (KiB): 29347412 Max. memory (cumulated for all children) (KiB): 4213624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 347.397 system time used= 9.87826 maximum resident set size= 4212172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145833 page faults= 0 swaps= 0 block input operations= 0 block output operations= 256 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10589 involuntary context switches= 4609 # summary of solver processes directly reported to runsolver: # pid: 15153 # total CPU time (s): 357.275 # total CPU user time (s): 347.397 # total CPU system time (s): 9.87826 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.509641 second user time and 0.868162 second system time The end
Begin job on node136 at 2019-09-24 20:28:52 IDJOB=4407329 IDBENCH=141106 IDSOLVER=2872 FILE ID=node136/4407329-1569349777 RUNJOBID= node136-1569335934-10152 PBS_JOBID= 21705056 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/Tal/Tal-03_c18.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 /var/tmp/evaluation-result-4407329-1569349777/watcher-4407329-1569349777 -o /var/tmp/evaluation-result-4407329-1569349777/solver-4407329-1569349777 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569335934-10152 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1438596231 HOME/instance-4407329-1569349777.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=1438596231 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26484092 kB MemAvailable: 31841956 kB Buffers: 147172 kB Cached: 5335260 kB SwapCached: 3556 kB Active: 2735520 kB Inactive: 2755016 kB Active(anon): 3888 kB Inactive(anon): 61092 kB Active(file): 2731632 kB Inactive(file): 2693924 kB Unevictable: 108444 kB Mlocked: 108444 kB SwapTotal: 67108860 kB SwapFree: 67002124 kB Dirty: 26192 kB Writeback: 0 kB AnonPages: 143088 kB Mapped: 57432 kB Shmem: 48260 kB Slab: 390192 kB SReclaimable: 360768 kB SUnreclaim: 29424 kB KernelStack: 3728 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 517012 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13460 MiB End job on node136 at 2019-09-24 20:30:00