Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 142 | 905.398 | 157.925 |
Name | Tal/ Tal-04_c18.xml |
MD5SUM | f4bb57fd900a6a9a68798497b08fcf01 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 142 |
Best CPU time to get the best result obtained on this benchmark | 905.398 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 526 |
Number of constraints | 362 |
Number of domains | 10 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":46},{"size":42,"count":79}] |
Minimum variable degree | 0 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":22},{"degree":10,"count":17},{"degree":11,"count":6},{"degree":12,"count":6},{"degree":13,"count":2},{"degree":14,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":1,"count":107},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":17},{"arity":8,"count":15},{"arity":9,"count":12},{"arity":10,"count":12}] |
Number of extensional constraints | 64 |
Number of intensional constraints | 284 |
Distribution of constraint types | [{"type":"extension","count":64},{"type":"intension","count":284},{"type":"count","count":14}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297558-1532689710.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297558-1532689710.xml, -tl, 20160s, -p, 8] 0.31/0.24 c 8 solvers in parallel 0.31/0.31 c parse instance... 82.16/53.05 c solve instance... 84.05/53.31 o 226 84.05/53.33 o 222 84.05/53.36 o 174 84.05/53.39 o 170 97.53/56.51 o 166 98.33/56.62 o 162 102.27/57.13 o 150 102.27/57.13 o 146 109.39/58.01 o 142 904.64/157.89 s OPTIMUM FOUND 904.64/157.89 v <instantiation> 904.64/157.89 v <list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[0][7] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[1][7] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[2][7] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[3][7] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[4][7] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[5][7] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[6][7] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[7][7] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[8][7] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[9][7] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[10][7] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[11][7] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[12][7] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[13][7] c[14][0] c[14][1] c[14][2] c[14][3] c[14][4] c[14][5] c[14][6] c[14][7] c[15][0] c[15][1] c[15][2] c[15][3] c[15][4] c[15][5] c[15][6] c[15][7] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[0][7] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[1][7] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[2][7] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[9][0] l[9][1] l[9][2] l[9][3] l[10][0] l[10][1] l[10][2] l[10][3] l[11][0] l[11][1] l[11][2] l[12][0] l[12][1] l[12][2] l[13][0] l[13][1] l[14][0] l[14][1] l[15][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[9][0] a[9][1] a[9][2] a[9][3] a[11][0] a[11][1] a[11][2] a[13][0] a[13][1] a[15][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[2][7] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[10][0] i[10][1] i[10][2] i[10][3] i[12][0] i[12][1] i[12][2] i[14][0] i[14][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] cnt[12] cnt[13] </list> 904.64/157.89 v <values>0 0 0 0 0 0 0 0 0 16 0 0 16 16 4 0 0 0 0 0 0 0 0 0 0 4 16 0 4 0 0 0 0 0 0 0 0 0 0 0 2 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 11 13 9 1 11 7 4 15 7 2 0 5 7 3 3 15 7 2 5 7 3 3 0 15 3 4 0 3 3 3 15 3 4 3 3 3 0 1 0 4 0 3 3 1 4 3 3 0 0 1 4 0 3 0 1 4 3 0 0 5 4 0 0 5 4 0 0 8 0 0 8 0 0 8 0 8 0 8 1 1 2 0 1 1 1 1 1 1 2 0 1 1 1 2 0 2 0 1 1 1 2 0 1 0 1 2 0 0 2 0 0 1 0 1 0 1 2 4 5 6 7 7 0 1 2 4 5 6 6 0 2 4 5 5 5 0 1 3 4 4 0 1 3 3 0 2 2 0 1 1 1 1 1 2 2 2 2 2 2 2 2 1 1 </values> 904.64/157.89 v </instantiation>
OK 142
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 (15193 MiB free) memory of node 1: 16384 MiB (11717 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297558-1532689710/watcher-4297558-1532689710 -o /tmp/evaluation-result-4297558-1532689710/solver-4297558-1532689710 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532687189-15029 --watchdog 2580 HOME/xcsp3-exec -seed 1183946153 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297558-1532689710.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 solver pid=15211, runsolver pid=15208 Current StackSize limit: 8192 KiB [startup+0.10014 s]* /proc/loadavg: 8.78 8.71 8.70 2/200 15232 /proc/meminfo: memFree=27541096/32770624 swapFree=67108496/67108860 [pid=15211] ppid=15208 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15211/stat : 15211 (xcsp3-exec) S 15208 15211 15002 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86534249 115843072 363 33554432000 4194304 5098028 140736625697536 140736625695640 140048507818620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15691776 140736625706037 140736625706240 140736625706240 140736625709002 0 /proc/15211/statm: 28282 363 305 221 0 87 0 [pid=15213] ppid=15211 vsize=26104152 memory=27432 CPUtime=0.11 cores=0-7 /proc/15213/stat : 15213 (java) S 15211 15211 15002 0 -1 1077944320 5789 0 0 0 10 1 0 0 20 0 20 0 86534250 26730651648 6858 33554432000 4194304 4196468 140725092889888 140725092872432 139689920417527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 /proc/15213/statm: 6526038 6858 2999 1 0 6488315 0 [pid=15213/tid=15214] ppid=15211 vsize=26104152 memory=7825455635648912536 CPUtime=0.09 cores=0-7 /proc/15213/task/15214/stat : 15214 (java) R 15211 15211 15002 0 -1 4202560 3803 0 0 0 8 1 0 0 20 0 20 0 86534250 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689924643888 139689904461157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15215] ppid=15211 vsize=26104152 memory=732369815207480293 CPUtime=0 cores=0-7 /proc/15213/task/15215/stat : 15215 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689873037840 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15216] ppid=15211 vsize=26104152 memory=139676870026880 CPUtime=0 cores=0-7 /proc/15213/task/15216/stat : 15216 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689871985296 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15217] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15217/stat : 15217 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689870932240 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15218] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15218/stat : 15218 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689869879696 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15219] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15219/stat : 15219 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689868827664 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15220] ppid=15211 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15213/task/15220/stat : 15220 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689867775120 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15221] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15221/stat : 15221 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689866722064 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15222] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15222/stat : 15222 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 6858 33554432000 4194304 4196468 140725092889888 139689865669520 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15223] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15223/stat : 15223 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534252 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688259102960 139689920428674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15224] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15224/stat : 15224 (java) S 15211 15211 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86534253 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688258049184 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15225] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15225/stat : 15225 (java) S 15211 15211 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86534253 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688256996080 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15226] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15226/stat : 15226 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534255 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688255944656 139689920436123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15227] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15227/stat : 15227 (java) S 15211 15211 15002 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 86534255 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688254892784 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15228] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15228/stat : 15228 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534255 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688253840240 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15229] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15229/stat : 15229 (java) S 15211 15211 15002 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86534256 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688252787184 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15230] ppid=15211 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15213/task/15230/stat : 15230 (java) R 15211 15211 15002 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 86534256 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688251734640 139689899688283 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15231] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15231/stat : 15231 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534256 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688250681824 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15232] ppid=15211 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15213/task/15232/stat : 15232 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534256 26730651648 6858 33554432000 4194304 4196468 140725092889888 139688249629360 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28884 KiB [startup+0.210484 s]* /proc/loadavg: 8.78 8.71 8.70 1/200 15232 /proc/meminfo: memFree=27530484/32770624 swapFree=67108496/67108860 [pid=15211] ppid=15208 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15211/stat : 15211 (xcsp3-exec) S 15208 15211 15002 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86534249 115843072 363 33554432000 4194304 5098028 140736625697536 140736625695640 140048507818620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15691776 140736625706037 140736625706240 140736625706240 140736625709002 0 /proc/15211/statm: 28282 363 305 221 0 87 0 [pid=15213] ppid=15211 vsize=26104152 memory=39464 CPUtime=0.31 cores=0-7 /proc/15213/stat : 15213 (java) S 15211 15211 15002 0 -1 1077944320 8444 0 0 0 28 3 0 0 20 0 20 0 86534250 26730651648 9866 33554432000 4194304 4196468 140725092889888 140725092872432 139689920417527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 /proc/15213/statm: 6526038 9866 3163 1 0 6488315 0 [pid=15213/tid=15214] ppid=15211 vsize=26104152 memory=0 CPUtime=0.17 cores=0-7 /proc/15213/task/15214/stat : 15214 (java) D 15211 15211 15002 0 -1 4202560 5547 0 0 0 16 1 0 0 20 0 20 0 86534250 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689924653152 139689920439453 0 4 0 16800975 18446744071580419588 0 0 -1 6 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15215] ppid=15211 vsize=26104152 memory=279353635677944 CPUtime=0 cores=0-7 /proc/15213/task/15215/stat : 15215 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689873037840 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15216] ppid=15211 vsize=26104152 memory=139676870026880 CPUtime=0 cores=0-7 /proc/15213/task/15216/stat : 15216 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689871985296 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15217] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15217/stat : 15217 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689870932240 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15218] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15218/stat : 15218 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689869879696 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15219] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15219/stat : 15219 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689868827664 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15220] ppid=15211 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15213/task/15220/stat : 15220 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689867775120 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15221] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15221/stat : 15221 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689866722064 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15222] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15222/stat : 15222 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534251 26730651648 9866 33554432000 4194304 4196468 140725092889888 139689865669520 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15223] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15223/stat : 15223 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534252 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688259102960 139689920428674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15224] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15224/stat : 15224 (java) S 15211 15211 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86534253 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688258049184 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15225] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15225/stat : 15225 (java) S 15211 15211 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86534253 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688256996080 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15226] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15226/stat : 15226 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534255 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688255944656 139689920436123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15227] ppid=15211 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15213/task/15227/stat : 15227 (java) S 15211 15211 15002 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 86534255 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688254892784 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15228] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15228/stat : 15228 (java) S 15211 15211 15002 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 20 0 86534255 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688253840240 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15229] ppid=15211 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15213/task/15229/stat : 15229 (java) S 15211 15211 15002 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 20 0 86534256 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688252787184 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15230] ppid=15211 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7 /proc/15213/task/15230/stat : 15230 (java) S 15211 15211 15002 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 20 0 86534256 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688251734640 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15231] ppid=15211 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15231/stat : 15231 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534256 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688250681824 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15232] ppid=15211 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15213/task/15232/stat : 15232 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534256 26730651648 9866 33554432000 4194304 4196468 140725092889888 139688249629360 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40916 KiB [startup+0.310073 s]* /proc/loadavg: 8.78 8.71 8.70 3/200 15232 /proc/meminfo: memFree=27526760/32770624 swapFree=67108496/67108860 [pid=15211] ppid=15208 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15211/stat : 15211 (xcsp3-exec) S 15208 15211 15002 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86534249 115843072 363 33554432000 4194304 5098028 140736625697536 140736625695640 140048507818620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15691776 140736625706037 140736625706240 140736625706240 140736625709002 0 /proc/15211/statm: 28282 363 305 221 0 87 0 [pid=15213] ppid=15211 vsize=26108408 memory=45064 CPUtime=0.46 cores=0-7 /proc/15213/stat : 15213 (java) S 15211 15211 15002 0 -1 1077944320 9052 0 0 0 42 4 0 0 20 0 20 0 86534250 26735009792 11266 33554432000 4194304 4196468 140725092889888 140725092872432 139689920417527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 /proc/15213/statm: 6527102 11266 3185 1 0 6488315 0 [pid=15213/tid=15214] ppid=15211 vsize=26108408 memory=6791534058613427641 CPUtime=0.26 cores=0-7 /proc/15213/task/15214/stat : 15214 (java) R 15211 15211 15002 0 -1 4202560 6058 0 0 0 24 2 0 0 20 0 20 0 86534250 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689924630080 139689904498014 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15215] ppid=15211 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15215/stat : 15215 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689873037840 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15216] ppid=15211 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15216/stat : 15216 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689871985296 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15217] ppid=15211 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15217/stat : 15217 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689870932240 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15218] ppid=15211 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15218/stat : 15218 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689869879696 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15219] ppid=15211 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/15213/task/15219/stat : 15219 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689868827664 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15220] ppid=15211 vsize=26108408 memory=139676765746095 CPUtime=0 cores=0-7 /proc/15213/task/15220/stat : 15220 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689867775120 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15221] ppid=15211 vsize=26108408 memory=139676765748400 CPUtime=0 cores=0-7 /proc/15213/task/15221/stat : 15221 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689866722064 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15222] ppid=15211 vsize=26108408 memory=139676765750704 CPUtime=0 cores=0-7 /proc/15213/task/15222/stat : 15222 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534251 26735009792 11313 33554432000 4194304 4196468 140725092889888 139689865669520 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15223] ppid=15211 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15223/stat : 15223 (java) S 15211 15211 15002 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86534252 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688259102960 139689920428674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15224] ppid=15211 vsize=26108408 memory=279353531508368 CPUtime=0 cores=0-7 /proc/15213/task/15224/stat : 15224 (java) S 15211 15211 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86534253 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688258049184 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15225] ppid=15211 vsize=26108408 memory=279353531515280 CPUtime=0 cores=0-7 /proc/15213/task/15225/stat : 15225 (java) S 15211 15211 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86534253 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688256996080 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15226] ppid=15211 vsize=26108408 memory=279353531456560 CPUtime=0 cores=0-7 /proc/15213/task/15226/stat : 15226 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534255 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688255944656 139689920436123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15227] ppid=15211 vsize=26108408 memory=279353531529104 CPUtime=0.02 cores=0-7 /proc/15213/task/15227/stat : 15227 (java) S 15211 15211 15002 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 86534255 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688254892784 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15228] ppid=15211 vsize=26108408 memory=279353531536016 CPUtime=0.01 cores=0-7 /proc/15213/task/15228/stat : 15228 (java) S 15211 15211 15002 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 86534255 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688253840240 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15229] ppid=15211 vsize=26108408 memory=279353531533712 CPUtime=0.01 cores=0-7 /proc/15213/task/15229/stat : 15229 (java) S 15211 15211 15002 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 20 0 86534256 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688252787184 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15230] ppid=15211 vsize=26108408 memory=279353531549872 CPUtime=0.11 cores=0-7 /proc/15213/task/15230/stat : 15230 (java) S 15211 15211 15002 0 -1 1077944384 772 0 0 0 11 0 0 0 20 0 20 0 86534256 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688251734640 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15231] ppid=15211 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15213/task/15231/stat : 15231 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534256 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688250681824 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15232] ppid=15211 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/15213/task/15232/stat : 15232 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534256 26735009792 11313 33554432000 4194304 4196468 140725092889888 139688249629360 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 Current children cumulated CPU time: 0.46 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 46516 KiB [startup+0.700994 s] /proc/loadavg: 8.78 8.71 8.70 5/200 15232 /proc/meminfo: memFree=27503872/32770624 swapFree=67108496/67108860 [pid=15211] ppid=15208 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15211/stat : 15211 (xcsp3-exec) S 15208 15211 15002 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86534249 115843072 363 33554432000 4194304 5098028 140736625697536 140736625695640 140048507818620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15691776 140736625706037 140736625706240 140736625706240 140736625709002 0 /proc/15211/statm: 28282 363 305 221 0 87 0 [pid=15213] ppid=15211 vsize=26110532 memory=92648 CPUtime=1.79 cores=0-7 /proc/15213/stat : 15213 (java) S 15211 15211 15002 0 -1 1077944320 14279 0 0 0 172 7 0 0 20 0 20 0 86534250 26737184768 23162 33554432000 4194304 4196468 140725092889888 140725092872432 139689920417527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 /proc/15213/statm: 6527633 23162 3350 1 0 6488827 0 [pid=15213/tid=15214] ppid=15211 vsize=26110532 memory=279353531844736 CPUtime=0.61 cores=0-7 /proc/15213/task/15214/stat : 15214 (java) R 15211 15211 15002 0 -1 4202560 7134 0 0 0 58 3 0 0 20 0 20 0 86534250 26737184768 23162 33554432000 4194304 4196468 140725092889888 139689924654544 139689904731073 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15215] ppid=15211 vsize=26110532 memory=860 CPUtime=0 cores=0-7 /proc/15213/task/15215/stat : 15215 (java) S 15211 15211 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86534251 26737184768 23162 33554432000 4194304 4196468 140725092889888 139689873037840 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15216] ppid=15211 vsize=26110532 memory=12556 CPUtime=0 cores=0-7 /proc/15213/task/15216/stat : 15216 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86534251 26737184768 23162 33554432000 4194304 4196468 140725092889888 139689871985296 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15217] ppid=15211 vsize=26110532 memory=756 CPUtime=0 cores=0-7 /proc/15213/task/15217/stat : 15217 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86534251 26737184768 23162 33554432000 4194304 4196468 140725092889888 139689870932240 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 ################ # More data... # ################ [pid=15213/tid=15307] ppid=15211 vsize=26711656 memory=-3472574944341025154 CPUtime=97.87 cores=0-7 /proc/15213/task/15307/stat : 15307 (java) R 15211 15211 15002 0 -1 4202560 2345 0 0 0 9779 8 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688162582872 139689542542700 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15308] ppid=15211 vsize=26711656 memory=6944656592455359580 CPUtime=97.79 cores=0-7 /proc/15213/task/15308/stat : 15308 (java) R 15211 15211 15002 0 -1 4202560 5192 0 0 0 9772 7 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688243131080 139689542876165 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15309] ppid=15211 vsize=26711656 memory=6655300316396806240 CPUtime=97.33 cores=0-7 /proc/15213/task/15309/stat : 15309 (java) R 15211 15211 15002 0 -1 4202560 2755 0 0 0 9729 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688163635272 139689534245381 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15310] ppid=15211 vsize=26711656 memory=6791534058613427641 CPUtime=97.8 cores=0-7 /proc/15213/task/15310/stat : 15310 (java) R 15211 15211 15002 0 -1 4202560 3425 0 0 0 9776 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688166793248 139689542748578 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15311] ppid=15211 vsize=26711656 memory=25224 CPUtime=98.08 cores=0-7 /proc/15213/task/15311/stat : 15311 (java) R 15211 15211 15002 0 -1 4202560 2013 0 0 0 9804 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688169951704 139689542876495 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15312] ppid=15211 vsize=26711656 memory=1224 CPUtime=97.13 cores=0-7 /proc/15213/task/15312/stat : 15312 (java) R 15211 15211 15002 0 -1 4202560 1725 0 0 0 9703 10 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688165740568 139689542540424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 Current children cumulated CPU time: 896.66 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 4822304 KiB [startup+157.602 s] /proc/loadavg: 7.26 7.55 8.22 9/211 15324 /proc/meminfo: memFree=22743208/32770624 swapFree=67108496/67108860 [pid=15211] ppid=15208 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15211/stat : 15211 (xcsp3-exec) S 15208 15211 15002 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86534249 115843072 363 33554432000 4194304 5098028 140736625697536 140736625695640 140048507818620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15691776 140736625706037 140736625706240 140736625706240 140736625709002 0 /proc/15211/statm: 28282 363 305 221 0 87 0 [pid=15213] ppid=15211 vsize=26711656 memory=4820852 CPUtime=903.04 cores=0-7 /proc/15213/stat : 15213 (java) S 15211 15211 15002 0 -1 1077944320 174466 0 0 0 89278 1026 0 0 20 0 28 0 86534250 27352735744 1205213 33554432000 4194304 4196468 140725092889888 140725092872432 139689920417527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 /proc/15213/statm: 6677914 1205213 3464 1 0 6639108 0 [pid=15213/tid=15214] ppid=15211 vsize=26711656 memory=1452 CPUtime=47.75 cores=0-7 /proc/15213/task/15214/stat : 15214 (java) S 15211 15211 15002 0 -1 1077944384 15369 0 0 0 4760 15 0 0 20 0 28 0 86534250 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689924658304 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15215] ppid=15211 vsize=26711656 memory=4820852 CPUtime=5.28 cores=0-7 /proc/15213/task/15215/stat : 15215 (java) S 15211 15211 15002 0 -1 1077944384 6977 0 0 0 404 124 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689873037840 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15216] ppid=15211 vsize=26711656 memory=1452 CPUtime=5.3 cores=0-7 /proc/15213/task/15216/stat : 15216 (java) S 15211 15211 15002 0 -1 1077944384 7529 0 0 0 415 115 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689871985296 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15217] ppid=15211 vsize=26711656 memory=3872 CPUtime=5.39 cores=0-7 /proc/15213/task/15217/stat : 15217 (java) S 15211 15211 15002 0 -1 1077944384 5018 0 0 0 419 120 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689870932240 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15218] ppid=15211 vsize=26711656 memory=25224 CPUtime=5.36 cores=0-7 /proc/15213/task/15218/stat : 15218 (java) S 15211 15211 15002 0 -1 1077944384 6447 0 0 0 429 107 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689869879696 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15219] ppid=15211 vsize=26711656 memory=1224 CPUtime=5.37 cores=0-7 /proc/15213/task/15219/stat : 15219 (java) S 15211 15211 15002 0 -1 1077944384 5551 0 0 0 413 124 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689868827664 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15220] ppid=15211 vsize=26711656 memory=2260 CPUtime=5.26 cores=0-7 /proc/15213/task/15220/stat : 15220 (java) S 15211 15211 15002 0 -1 1077944384 6899 0 0 0 418 108 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689867775120 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15221] ppid=15211 vsize=26711656 memory=6372 CPUtime=5.33 cores=0-7 /proc/15213/task/15221/stat : 15221 (java) S 15211 15211 15002 0 -1 1077944384 7084 0 0 0 412 121 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689866722064 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15222] ppid=15211 vsize=26711656 memory=5500 CPUtime=5.31 cores=0-7 /proc/15213/task/15222/stat : 15222 (java) S 15211 15211 15002 0 -1 1077944384 6589 0 0 0 414 117 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689865669520 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15223] ppid=15211 vsize=26711656 memory=4460 CPUtime=3.28 cores=0-7 /proc/15213/task/15223/stat : 15223 (java) S 15211 15211 15002 0 -1 1077944384 12468 0 0 0 325 3 0 0 20 0 28 0 86534252 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688259102960 139689920428674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15224] ppid=15211 vsize=26711656 memory=1380 CPUtime=0 cores=0-7 /proc/15213/task/15224/stat : 15224 (java) S 15211 15211 15002 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 86534253 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688258049248 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15225] ppid=15211 vsize=26711656 memory=1160 CPUtime=0 cores=0-7 /proc/15213/task/15225/stat : 15225 (java) S 15211 15211 15002 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 86534253 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688256996096 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15226] ppid=15211 vsize=26711656 memory=15184 CPUtime=0 cores=0-7 /proc/15213/task/15226/stat : 15226 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86534255 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688255944656 139689920436123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15227] ppid=15211 vsize=26711656 memory=4000 CPUtime=2.35 cores=0-7 /proc/15213/task/15227/stat : 15227 (java) S 15211 15211 15002 0 -1 1077944384 14850 0 0 0 232 3 0 0 20 0 28 0 86534255 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688254892784 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15228] ppid=15211 vsize=26711656 memory=1788 CPUtime=3.03 cores=0-7 /proc/15213/task/15228/stat : 15228 (java) S 15211 15211 15002 0 -1 1077944384 17493 0 0 0 300 3 0 0 20 0 28 0 86534255 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688253840240 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15229] ppid=15211 vsize=26711656 memory=860 CPUtime=2.98 cores=0-7 /proc/15213/task/15229/stat : 15229 (java) S 15211 15211 15002 0 -1 1077944384 18503 0 0 0 296 2 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688252787184 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15230] ppid=15211 vsize=26711656 memory=12556 CPUtime=1.06 cores=0-7 /proc/15213/task/15230/stat : 15230 (java) S 15211 15211 15002 0 -1 1077944384 14438 0 0 0 102 4 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688251734640 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15231] ppid=15211 vsize=26711656 memory=756 CPUtime=0 cores=0-7 /proc/15213/task/15231/stat : 15231 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688250681824 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15232] ppid=15211 vsize=26711656 memory=1616 CPUtime=0.06 cores=0-7 /proc/15213/task/15232/stat : 15232 (java) S 15211 15211 15002 0 -1 1077944384 3023 0 0 0 3 3 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688249629360 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15305] ppid=15211 vsize=26711656 memory=1836 CPUtime=98.59 cores=0-7 /proc/15213/task/15305/stat : 15305 (java) R 15211 15211 15002 0 -1 4202560 2162 0 0 0 9852 7 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688168897736 139689542998248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15306] ppid=15211 vsize=26711656 memory=1132 CPUtime=98.79 cores=0-7 /proc/15213/task/15306/stat : 15306 (java) R 15211 15211 15002 0 -1 4202560 1881 0 0 0 9876 3 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688164687576 139689542748646 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15307] ppid=15211 vsize=26711656 memory=1564 CPUtime=98.67 cores=0-7 /proc/15213/task/15307/stat : 15307 (java) R 15211 15211 15002 0 -1 4202560 2345 0 0 0 9859 8 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688162582872 139689542876120 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15308] ppid=15211 vsize=26711656 memory=2212 CPUtime=98.59 cores=0-7 /proc/15213/task/15308/stat : 15308 (java) R 15211 15211 15002 0 -1 4202560 5196 0 0 0 9852 7 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688243131080 139689542875904 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15309] ppid=15211 vsize=26711656 memory=3988 CPUtime=98.13 cores=0-7 /proc/15213/task/15309/stat : 15309 (java) R 15211 15211 15002 0 -1 4202560 2755 0 0 0 9809 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688163635272 139689534245356 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15310] ppid=15211 vsize=26711656 memory=2048 CPUtime=98.6 cores=0-7 /proc/15213/task/15310/stat : 15310 (java) R 15211 15211 15002 0 -1 4202560 3436 0 0 0 9856 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688166793248 139689542876389 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15311] ppid=15211 vsize=26711656 memory=7888 CPUtime=98.88 cores=0-7 /proc/15213/task/15311/stat : 15311 (java) R 15211 15211 15002 0 -1 4202560 2013 0 0 0 9884 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688169951704 139689542166512 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15312] ppid=15211 vsize=26711656 memory=808 CPUtime=97.91 cores=0-7 /proc/15213/task/15312/stat : 15312 (java) R 15211 15211 15002 0 -1 4202560 1725 0 0 0 9781 10 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688165740568 139689542876474 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 Current children cumulated CPU time: 903.04 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 4822304 KiB [startup+157.802 s] /proc/loadavg: 7.26 7.55 8.22 9/211 15324 /proc/meminfo: memFree=22743208/32770624 swapFree=67108496/67108860 [pid=15211] ppid=15208 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15211/stat : 15211 (xcsp3-exec) S 15208 15211 15002 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86534249 115843072 363 33554432000 4194304 5098028 140736625697536 140736625695640 140048507818620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15691776 140736625706037 140736625706240 140736625706240 140736625709002 0 /proc/15211/statm: 28282 363 305 221 0 87 0 [pid=15213] ppid=15211 vsize=26711656 memory=4820852 CPUtime=904.64 cores=0-7 /proc/15213/stat : 15213 (java) S 15211 15211 15002 0 -1 1077944320 174468 0 0 0 89438 1026 0 0 20 0 28 0 86534250 27352735744 1205213 33554432000 4194304 4196468 140725092889888 140725092872432 139689920417527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 /proc/15213/statm: 6677914 1205213 3464 1 0 6639108 0 [pid=15213/tid=15214] ppid=15211 vsize=26711656 memory=4140 CPUtime=47.75 cores=0-7 /proc/15213/task/15214/stat : 15214 (java) S 15211 15211 15002 0 -1 1077944384 15369 0 0 0 4760 15 0 0 20 0 28 0 86534250 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689924658304 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15215] ppid=15211 vsize=26711656 memory=6791534058613427641 CPUtime=5.28 cores=0-7 /proc/15213/task/15215/stat : 15215 (java) S 15211 15211 15002 0 -1 1077944384 6977 0 0 0 404 124 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689873037840 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15216] ppid=15211 vsize=26711656 memory=2212 CPUtime=5.3 cores=0-7 /proc/15213/task/15216/stat : 15216 (java) S 15211 15211 15002 0 -1 1077944384 7529 0 0 0 415 115 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689871985296 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15217] ppid=15211 vsize=26711656 memory=3988 CPUtime=5.39 cores=0-7 /proc/15213/task/15217/stat : 15217 (java) S 15211 15211 15002 0 -1 1077944384 5018 0 0 0 419 120 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689870932240 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15218] ppid=15211 vsize=26711656 memory=2048 CPUtime=5.36 cores=0-7 /proc/15213/task/15218/stat : 15218 (java) S 15211 15211 15002 0 -1 1077944384 6447 0 0 0 429 107 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689869879696 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15219] ppid=15211 vsize=26711656 memory=7888 CPUtime=5.37 cores=0-7 /proc/15213/task/15219/stat : 15219 (java) S 15211 15211 15002 0 -1 1077944384 5551 0 0 0 413 124 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689868827664 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15220] ppid=15211 vsize=26711656 memory=808 CPUtime=5.26 cores=0-7 /proc/15213/task/15220/stat : 15220 (java) S 15211 15211 15002 0 -1 1077944384 6899 0 0 0 418 108 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689867775120 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15221] ppid=15211 vsize=26711656 memory=1696 CPUtime=5.33 cores=0-7 /proc/15213/task/15221/stat : 15221 (java) S 15211 15211 15002 0 -1 1077944384 7084 0 0 0 412 121 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689866722064 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15222] ppid=15211 vsize=26711656 memory=916 CPUtime=5.31 cores=0-7 /proc/15213/task/15222/stat : 15222 (java) S 15211 15211 15002 0 -1 1077944384 6589 0 0 0 414 117 0 0 20 0 28 0 86534251 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139689865669520 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15223] ppid=15211 vsize=26711656 memory=4140 CPUtime=3.28 cores=0-7 /proc/15213/task/15223/stat : 15223 (java) S 15211 15211 15002 0 -1 1077944384 12468 0 0 0 325 3 0 0 20 0 28 0 86534252 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688259102960 139689920428674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15224] ppid=15211 vsize=26711656 memory=4100 CPUtime=0 cores=0-7 /proc/15213/task/15224/stat : 15224 (java) S 15211 15211 15002 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 86534253 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688258049248 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15225] ppid=15211 vsize=26711656 memory=1408 CPUtime=0 cores=0-7 /proc/15213/task/15225/stat : 15225 (java) S 15211 15211 15002 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 86534253 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688256996096 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15226] ppid=15211 vsize=26711656 memory=3484 CPUtime=0 cores=0-7 /proc/15213/task/15226/stat : 15226 (java) S 15211 15211 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86534255 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688255944656 139689920436123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15227] ppid=15211 vsize=26711656 memory=1452 CPUtime=2.35 cores=0-7 /proc/15213/task/15227/stat : 15227 (java) S 15211 15211 15002 0 -1 1077944384 14850 0 0 0 232 3 0 0 20 0 28 0 86534255 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688254892784 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15228] ppid=15211 vsize=26711656 memory=4820852 CPUtime=3.03 cores=0-7 /proc/15213/task/15228/stat : 15228 (java) S 15211 15211 15002 0 -1 1077944384 17493 0 0 0 300 3 0 0 20 0 28 0 86534255 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688253840240 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15229] ppid=15211 vsize=26711656 memory=6791534058613427641 CPUtime=2.98 cores=0-7 /proc/15213/task/15229/stat : 15229 (java) S 15211 15211 15002 0 -1 1077944384 18503 0 0 0 296 2 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688252787184 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15230] ppid=15211 vsize=26711656 memory=-7003737579269690708 CPUtime=1.06 cores=0-7 /proc/15213/task/15230/stat : 15230 (java) S 15211 15211 15002 0 -1 1077944384 14438 0 0 0 102 4 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688251734640 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15231] ppid=15211 vsize=26711656 memory=1180 CPUtime=0 cores=0-7 /proc/15213/task/15231/stat : 15231 (java) S 15211 15211 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688250681824 139689920427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15232] ppid=15211 vsize=26711656 memory=504 CPUtime=0.06 cores=0-7 /proc/15213/task/15232/stat : 15232 (java) S 15211 15211 15002 0 -1 1077944384 3023 0 0 0 3 3 0 0 20 0 28 0 86534256 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688249629360 139689920428674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15305] ppid=15211 vsize=26711656 memory=1720 CPUtime=98.79 cores=0-7 /proc/15213/task/15305/stat : 15305 (java) R 15211 15211 15002 0 -1 4202560 2162 0 0 0 9872 7 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688168897736 139689542279008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15306] ppid=15211 vsize=26711656 memory=928 CPUtime=98.99 cores=0-7 /proc/15213/task/15306/stat : 15306 (java) R 15211 15211 15002 0 -1 4202560 1881 0 0 0 9896 3 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688164687576 139689542875980 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15307] ppid=15211 vsize=26711656 memory=6791534058613427641 CPUtime=98.87 cores=0-7 /proc/15213/task/15307/stat : 15307 (java) R 15211 15211 15002 0 -1 4202560 2345 0 0 0 9879 8 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688162582872 139689542748735 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15308] ppid=15211 vsize=26711656 memory=4140 CPUtime=98.79 cores=0-7 /proc/15213/task/15308/stat : 15308 (java) R 15211 15211 15002 0 -1 4202560 5196 0 0 0 9872 7 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688243131080 139689536817391 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15309] ppid=15211 vsize=26711656 memory=4100 CPUtime=98.33 cores=0-7 /proc/15213/task/15309/stat : 15309 (java) R 15211 15211 15002 0 -1 4202560 2755 0 0 0 9829 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688163635272 139689542166320 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15310] ppid=15211 vsize=26711656 memory=1408 CPUtime=98.8 cores=0-7 /proc/15213/task/15310/stat : 15310 (java) R 15211 15211 15002 0 -1 4202560 3438 0 0 0 9876 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688166793248 139689542542728 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15311] ppid=15211 vsize=26711656 memory=3384 CPUtime=99.08 cores=0-7 /proc/15213/task/15311/stat : 15311 (java) R 15211 15211 15002 0 -1 4202560 2013 0 0 0 9904 4 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688169951704 139689542542733 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 [pid=15213/tid=15312] ppid=15211 vsize=26711656 memory=1452 CPUtime=98.11 cores=0-7 /proc/15213/task/15312/stat : 15312 (java) R 15211 15211 15002 0 -1 4202560 1725 0 0 0 9801 10 0 0 20 0 28 0 86540051 27352735744 1205213 33554432000 4194304 4196468 140725092889888 139688165740568 139689543273012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24252416 140725092893825 140725092893997 140725092893997 140725092896719 0 Current children cumulated CPU time: 904.64 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 4822304 KiB [startup+157.901 s] /proc/loadavg: 7.26 7.55 8.22 9/211 15324 /proc/meminfo: memFree=22743208/32770624 swapFree=67108496/67108860 [pid=15211] ppid=15208 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15211/stat : 15211 (xcsp3-exec) S 15208 15211 15002 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86534249 115843072 363 33554432000 4194304 5098028 140736625697536 140736625695640 140048507818620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15691776 140736625706037 140736625706240 140736625706240 140736625709002 0 /proc/15211/statm: 28282 363 305 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): 157.925 CPU time (s): 905.398 CPU user time (s): 895.103 CPU system time (s): 10.2947 CPU usage (%): 573.31 Max. virtual memory (cumulated for all children) (KiB): 26824784 Max. memory (cumulated for all children) (KiB): 4822304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 895.103 system time used= 10.2947 maximum resident set size= 4820852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 176795 page faults= 0 swaps= 0 block input operations= 344 block output operations= 384 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14754 involuntary context switches= 9701 # summary of solver processes directly reported to runsolver: # pid: 15211 # total CPU time (s): 905.398 # total CPU user time (s): 895.103 # total CPU system time (s): 10.2947 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.23846 second user time and 1.81195 second system time The end
Begin job on node149 at 2018-07-27 13:08:30 IDJOB=4297558 IDBENCH=141099 IDSOLVER=2760 FILE ID=node149/4297558-1532689710 RUNJOBID= node149-1532687189-15029 PBS_JOBID= 21022277 Free space on /tmp= 43256 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Tal/Tal-04_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297558-1532689710/watcher-4297558-1532689710 -o /tmp/evaluation-result-4297558-1532689710/solver-4297558-1532689710 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532687189-15029 --watchdog 2580 HOME/xcsp3-exec -seed 1183946153 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297558-1532689710.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f4bb57fd900a6a9a68798497b08fcf01 RANDOM SEED=1183946153 node149.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.60 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.60 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.60 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.60 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: 27556832 kB MemAvailable: 31925628 kB Buffers: 89244 kB Cached: 4498200 kB SwapCached: 60 kB Active: 1519320 kB Inactive: 3124088 kB Active(anon): 4820 kB Inactive(anon): 78324 kB Active(file): 1514500 kB Inactive(file): 3045764 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 21800 kB Writeback: 0 kB AnonPages: 62660 kB Mapped: 33936 kB Shmem: 25040 kB Slab: 264736 kB SReclaimable: 236992 kB SUnreclaim: 27744 kB KernelStack: 3520 kB PageTables: 5196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43236 MiB End job on node149 at 2018-07-27 13:11:09