Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 10 | 16.3408 | 2.61591 |
Name | Bacp/Bacp-m2/ Bacp-m2-06_c18.xml |
MD5SUM | a425e3c2d344a7c12b87076aad716824 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 16.3408 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 152 |
Number of constraints | 166 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":2,"count":120},{"size":5,"count":6},{"size":6,"count":20},{"size":10,"count":6}] |
Minimum variable degree | 1 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":1,"count":6},{"degree":2,"count":6},{"degree":4,"count":120},{"degree":6,"count":2},{"degree":7,"count":11},{"degree":8,"count":4},{"degree":9,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":2,"count":134},{"arity":6,"count":20},{"arity":21,"count":12}] |
Number of extensional constraints | 120 |
Number of intensional constraints | 14 |
Distribution of constraint types | [{"type":"extension","count":120},{"type":"intension","count":14},{"type":"sum","count":32}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297854-1532736756.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297854-1532736756.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.60/0.75 c solve instance... 2.84/0.98 o 15 2.84/0.98 o 14 2.84/0.98 o 13 2.84/0.98 o 12 2.84/0.98 o 11 2.84/0.98 o 10 16.29/2.60 s OPTIMUM FOUND 16.29/2.60 v <instantiation> 16.29/2.60 v <list>prd[0] prd[1] prd[2] prd[3] prd[4] prd[5] prd[6] prd[7] prd[8] prd[9] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] nco[0] nco[1] nco[2] nco[3] nco[4] nco[5] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] pc[0][0] pc[0][1] pc[0][2] pc[0][3] pc[0][4] pc[0][5] pc[0][6] pc[0][7] pc[0][8] pc[0][9] pc[0][10] pc[0][11] pc[0][12] pc[0][13] pc[0][14] pc[0][15] pc[0][16] pc[0][17] pc[0][18] pc[0][19] pc[1][0] pc[1][1] pc[1][2] pc[1][3] pc[1][4] pc[1][5] pc[1][6] pc[1][7] pc[1][8] pc[1][9] pc[1][10] pc[1][11] pc[1][12] pc[1][13] pc[1][14] pc[1][15] pc[1][16] pc[1][17] pc[1][18] pc[1][19] pc[2][0] pc[2][1] pc[2][2] pc[2][3] pc[2][4] pc[2][5] pc[2][6] pc[2][7] pc[2][8] pc[2][9] pc[2][10] pc[2][11] pc[2][12] pc[2][13] pc[2][14] pc[2][15] pc[2][16] pc[2][17] pc[2][18] pc[2][19] pc[3][0] pc[3][1] pc[3][2] pc[3][3] pc[3][4] pc[3][5] pc[3][6] pc[3][7] pc[3][8] pc[3][9] pc[3][10] pc[3][11] pc[3][12] pc[3][13] pc[3][14] pc[3][15] pc[3][16] pc[3][17] pc[3][18] pc[3][19] pc[4][0] pc[4][1] pc[4][2] pc[4][3] pc[4][4] pc[4][5] pc[4][6] pc[4][7] pc[4][8] pc[4][9] pc[4][10] pc[4][11] pc[4][12] pc[4][13] pc[4][14] pc[4][15] pc[4][16] pc[4][17] pc[4][18] pc[4][19] pc[5][0] pc[5][1] pc[5][2] pc[5][3] pc[5][4] pc[5][5] pc[5][6] pc[5][7] pc[5][8] pc[5][9] pc[5][10] pc[5][11] pc[5][12] pc[5][13] pc[5][14] pc[5][15] pc[5][16] pc[5][17] pc[5][18] pc[5][19] </list> 16.29/2.60 v <values>2 2 1 0 3 5 1 1 5 5 2 0 4 4 4 0 0 0 3 3 5 3 3 3 3 3 10 10 9 10 10 9 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 </values> 16.29/2.60 v </instantiation>
OK 10
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 (10723 MiB free) memory of node 1: 16384 MiB (12650 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297854-1532736756/watcher-4297854-1532736756 -o /tmp/evaluation-result-4297854-1532736756/solver-4297854-1532736756 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532728888-21821 --watchdog 2580 HOME/xcsp3-exec -seed 1752921300 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297854-1532736756.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=22916, runsolver pid=22913 [startup+0.100137 s]* /proc/loadavg: 7.79 8.30 8.34 2/200 22937 /proc/meminfo: memFree=23919188/32770624 swapFree=67108860/67108860 [pid=22916] ppid=22913 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22916/stat : 22916 (xcsp3-exec) S 22913 22916 21794 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91238761 115843072 363 33554432000 4194304 5098028 140728097059184 140728097057288 139629633585788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29065216 140728097068085 140728097068288 140728097068288 140728097071050 0 /proc/22916/statm: 28282 363 305 221 0 87 0 [pid=22918] ppid=22916 vsize=26104152 memory=26948 CPUtime=0.12 cores=0-7 /proc/22918/stat : 22918 (java) S 22916 22916 21794 0 -1 1077944320 5667 0 0 0 11 1 0 0 20 0 20 0 91238761 26730651648 6737 33554432000 4194304 4196468 140735989894304 140735989876848 140196233678583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 /proc/22918/statm: 6526038 6737 3002 1 0 6488315 0 [pid=22918/tid=22919] ppid=22916 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/22918/task/22919/stat : 22919 (java) R 22916 22916 21794 0 -1 4202560 3679 0 0 0 8 0 0 0 20 0 20 0 91238761 26730651648 6737 33554432000 4194304 4196468 140735989894304 140196237911856 140196233690518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22920] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22920/stat : 22920 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140196190230928 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22921] ppid=22916 vsize=26104152 memory=140002746545792 CPUtime=0 cores=0-7 /proc/22918/task/22921/stat : 22921 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195790453008 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22922] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22922/stat : 22922 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195789400720 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22923] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22923/stat : 22923 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195788347920 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22924] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22924/stat : 22924 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195787295632 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22925] ppid=22916 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22918/task/22925/stat : 22925 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195786242832 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22926] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22926/stat : 22926 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195785190544 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22927] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22927/stat : 22927 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195784137744 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22928] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22928/stat : 22928 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238763 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195495299184 140196233689730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22929] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22929/stat : 22929 (java) S 22916 22916 21794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91238764 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195494245152 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22930] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22930/stat : 22930 (java) S 22916 22916 21794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91238764 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195493192816 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22931] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22931/stat : 22931 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238766 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195492141136 140196233697179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22932] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22932/stat : 22932 (java) S 22916 22916 21794 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 91238767 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195491089008 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22933] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22933/stat : 22933 (java) S 22916 22916 21794 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 91238767 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195490036208 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22934] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22934/stat : 22934 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238767 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195488983920 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22935] ppid=22916 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22918/task/22935/stat : 22935 (java) R 22916 22916 21794 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 91238767 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195487931120 140196217844443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22936] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22936/stat : 22936 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91238767 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195486878048 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22937] ppid=22916 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22918/task/22937/stat : 22937 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238767 26730651648 6737 33554432000 4194304 4196468 140735989894304 140195485825328 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28400 KiB [startup+0.210358 s]* /proc/loadavg: 7.79 8.30 8.34 3/200 22937 /proc/meminfo: memFree=23907876/32770624 swapFree=67108860/67108860 [pid=22916] ppid=22913 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22916/stat : 22916 (xcsp3-exec) S 22913 22916 21794 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91238761 115843072 363 33554432000 4194304 5098028 140728097059184 140728097057288 139629633585788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29065216 140728097068085 140728097068288 140728097068288 140728097071050 0 /proc/22916/statm: 28282 363 305 221 0 87 0 [pid=22918] ppid=22916 vsize=26104152 memory=39492 CPUtime=0.33 cores=0-7 /proc/22918/stat : 22918 (java) S 22916 22916 21794 0 -1 1077944320 8476 0 0 0 31 2 0 0 20 0 20 0 91238761 26730651648 9873 33554432000 4194304 4196468 140735989894304 140735989876848 140196233678583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 /proc/22918/statm: 6526038 9873 3188 1 0 6488315 0 [pid=22918/tid=22919] ppid=22916 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/22918/task/22919/stat : 22919 (java) R 22916 22916 21794 0 -1 4202560 5573 0 0 0 19 1 0 0 20 0 20 0 91238761 26730651648 9873 33554432000 4194304 4196468 140735989894304 140196237913568 140196217759070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22920] ppid=22916 vsize=26104152 memory=329 CPUtime=0 cores=0-7 /proc/22918/task/22920/stat : 22920 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140196190230928 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22921] ppid=22916 vsize=26104152 memory=288370378898257536 CPUtime=0 cores=0-7 /proc/22918/task/22921/stat : 22921 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195790453008 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22922] ppid=22916 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22918/task/22922/stat : 22922 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195789400720 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22923] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22923/stat : 22923 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195788347920 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22924] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22924/stat : 22924 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195787295632 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22925] ppid=22916 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22918/task/22925/stat : 22925 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195786242832 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22926] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22926/stat : 22926 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195785190544 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22927] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22927/stat : 22927 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91238762 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195784137744 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22928] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22928/stat : 22928 (java) S 22916 22916 21794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91238763 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195495299184 140196233689730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22929] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22929/stat : 22929 (java) S 22916 22916 21794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91238764 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195494245152 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22930] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22930/stat : 22930 (java) S 22916 22916 21794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91238764 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195493192816 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22931] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22931/stat : 22931 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238766 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195492141136 140196233697179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22932] ppid=22916 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22918/task/22932/stat : 22932 (java) S 22916 22916 21794 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 91238767 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195491089008 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22933] ppid=22916 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/22918/task/22933/stat : 22933 (java) S 22916 22916 21794 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 91238767 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195490036208 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22934] ppid=22916 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/22918/task/22934/stat : 22934 (java) S 22916 22916 21794 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 91238767 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195488983920 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22935] ppid=22916 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/22918/task/22935/stat : 22935 (java) S 22916 22916 21794 0 -1 1077944384 809 0 0 0 7 0 0 0 20 0 20 0 91238767 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195487931120 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22936] ppid=22916 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22936/stat : 22936 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91238767 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195486878048 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22937] ppid=22916 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/22918/task/22937/stat : 22937 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238767 26730651648 9873 33554432000 4194304 4196468 140735989894304 140195485825328 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40944 KiB [startup+0.310412 s]* /proc/loadavg: 7.79 8.30 8.34 3/200 22937 /proc/meminfo: memFree=23901424/32770624 swapFree=67108860/67108860 [pid=22916] ppid=22913 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22916/stat : 22916 (xcsp3-exec) S 22913 22916 21794 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91238761 115843072 363 33554432000 4194304 5098028 140728097059184 140728097057288 139629633585788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29065216 140728097068085 140728097068288 140728097068288 140728097071050 0 /proc/22916/statm: 28282 363 305 221 0 87 0 [pid=22918] ppid=22916 vsize=26108408 memory=46380 CPUtime=0.5 cores=0-7 /proc/22918/stat : 22918 (java) S 22916 22916 21794 0 -1 1077944320 9286 0 0 0 47 3 0 0 20 0 20 0 91238761 26735009792 11595 33554432000 4194304 4196468 140735989894304 140735989876848 140196233678583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 /proc/22918/statm: 6527102 11595 3228 1 0 6488315 0 [pid=22918/tid=22919] ppid=22916 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22918/task/22919/stat : 22919 (java) R 22916 22916 21794 0 -1 4202560 6281 0 0 0 28 1 0 0 20 0 20 0 91238761 26735009792 11595 33554432000 4194304 4196468 140735989894304 140196237915360 140196217759070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22920] ppid=22916 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22920/stat : 22920 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140196190230928 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22921] ppid=22916 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22921/stat : 22921 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195790453008 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22922] ppid=22916 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22922/stat : 22922 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195789400720 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22923] ppid=22916 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/22918/task/22923/stat : 22923 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195788347920 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22924] ppid=22916 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/22918/task/22924/stat : 22924 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195787295632 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22925] ppid=22916 vsize=26108408 memory=140002646391983 CPUtime=0 cores=0-7 /proc/22918/task/22925/stat : 22925 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195786242832 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22926] ppid=22916 vsize=26108408 memory=140002646394288 CPUtime=0 cores=0-7 /proc/22918/task/22926/stat : 22926 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195785190544 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22927] ppid=22916 vsize=26108408 memory=140002646396592 CPUtime=0 cores=0-7 /proc/22918/task/22927/stat : 22927 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91238762 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195784137744 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22928] ppid=22916 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22928/stat : 22928 (java) S 22916 22916 21794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91238763 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195495299184 140196233689730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22929] ppid=22916 vsize=26108408 memory=280005292802448 CPUtime=0 cores=0-7 /proc/22918/task/22929/stat : 22929 (java) S 22916 22916 21794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91238764 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195494245152 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22930] ppid=22916 vsize=26108408 memory=280005292743728 CPUtime=0 cores=0-7 /proc/22918/task/22930/stat : 22930 (java) S 22916 22916 21794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91238764 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195493192816 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22931] ppid=22916 vsize=26108408 memory=280005292816272 CPUtime=0 cores=0-7 /proc/22918/task/22931/stat : 22931 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238766 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195492141136 140196233697179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22932] ppid=22916 vsize=26108408 memory=280005292823184 CPUtime=0.02 cores=0-7 /proc/22918/task/22932/stat : 22932 (java) S 22916 22916 21794 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 20 0 91238767 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195491089008 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22933] ppid=22916 vsize=26108408 memory=280005292820880 CPUtime=0.02 cores=0-7 /proc/22918/task/22933/stat : 22933 (java) S 22916 22916 21794 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 91238767 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195490036208 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22934] ppid=22916 vsize=26108408 memory=280005292837008 CPUtime=0.02 cores=0-7 /proc/22918/task/22934/stat : 22934 (java) S 22916 22916 21794 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 91238767 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195488983920 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22935] ppid=22916 vsize=26108408 memory=280005292834704 CPUtime=0.11 cores=0-7 /proc/22918/task/22935/stat : 22935 (java) S 22916 22916 21794 0 -1 1077944384 887 0 0 0 11 0 0 0 20 0 20 0 91238767 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195487931120 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22936] ppid=22916 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22936/stat : 22936 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91238767 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195486878048 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22937] ppid=22916 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/22918/task/22937/stat : 22937 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238767 26735009792 11595 33554432000 4194304 4196468 140735989894304 140195485825328 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47832 KiB [startup+0.700968 s] /proc/loadavg: 7.79 8.30 8.34 5/200 22937 /proc/meminfo: memFree=23889824/32770624 swapFree=67108860/67108860 [pid=22916] ppid=22913 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22916/stat : 22916 (xcsp3-exec) S 22913 22916 21794 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91238761 115843072 363 33554432000 4194304 5098028 140728097059184 140728097057288 139629633585788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29065216 140728097068085 140728097068288 140728097068288 140728097071050 0 /proc/22916/statm: 28282 363 305 221 0 87 0 [pid=22918] ppid=22916 vsize=26110532 memory=84088 CPUtime=1.6 cores=0-7 /proc/22918/stat : 22918 (java) S 22916 22916 21794 0 -1 1077944320 13182 0 0 0 154 6 0 0 20 0 20 0 91238761 26737184768 21022 33554432000 4194304 4196468 140735989894304 140735989876848 140196233678583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 /proc/22918/statm: 6527633 21022 3359 1 0 6488827 0 [pid=22918/tid=22919] ppid=22916 vsize=26110532 memory=0 CPUtime=0.66 cores=0-7 /proc/22918/task/22919/stat : 22919 (java) R 22916 22916 21794 0 -1 4202560 7237 0 0 0 64 2 0 0 20 0 20 0 91238761 26737184768 21022 33554432000 4194304 4196468 140735989894304 140196237914848 140196217759070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22920] ppid=22916 vsize=26110532 memory=140002646603120 CPUtime=0 cores=0-7 /proc/22918/task/22920/stat : 22920 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26737184768 21022 33554432000 4194304 4196468 140735989894304 140196190230928 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22921] ppid=22916 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22921/stat : 22921 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91238762 26737184768 21022 33554432000 4194304 4196468 140735989894304 140195790453008 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22922] ppid=22916 vsize=26110532 memory=10616 CPUtime=0 cores=0-7 /proc/22918/task/22922/stat : 22922 (java) S 22916 22916 21794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91238762 26737184768 21022 33554432000 4194304 4196468 140735989894304 140195789400720 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 ################ # More data... # ################ [pid=22918/tid=22935] ppid=22916 vsize=26711656 memory=1200 CPUtime=0.64 cores=0-7 /proc/22918/task/22935/stat : 22935 (java) S 22916 22916 21794 0 -1 1077944384 3059 0 0 0 63 1 0 0 20 0 28 0 91238767 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195487931120 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22936] ppid=22916 vsize=26711656 memory=33 CPUtime=0 cores=0-7 /proc/22918/task/22936/stat : 22936 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238767 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195486878048 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22937] ppid=22916 vsize=26711656 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/22918/task/22937/stat : 22937 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238767 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195485825328 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22986] ppid=22916 vsize=26711656 memory=6944652177228980320 CPUtime=0.46 cores=0-7 /proc/22918/task/22986/stat : 22986 (java) R 22916 22916 21794 0 -1 4202560 18 0 0 0 46 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195471776360 140195875685915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22987] ppid=22916 vsize=26711656 memory=6944656592455097440 CPUtime=0.51 cores=0-7 /proc/22918/task/22987/stat : 22987 (java) R 22916 22916 21794 0 -1 4202560 20 0 0 0 51 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195470724528 140195876050329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22988] ppid=22916 vsize=26711656 memory=6656426216303648864 CPUtime=0.6 cores=0-7 /proc/22918/task/22988/stat : 22988 (java) R 22916 22916 21794 0 -1 4202560 20 0 0 0 60 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195472830000 140195875688126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22989] ppid=22916 vsize=26711656 memory=6944656592455359580 CPUtime=0.42 cores=0-7 /proc/22918/task/22989/stat : 22989 (java) R 22916 22916 21794 0 -1 4202560 27 0 0 0 42 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195477041176 140195876050329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22990] ppid=22916 vsize=26711656 memory=6944652177228980320 CPUtime=0.53 cores=0-7 /proc/22918/task/22990/stat : 22990 (java) R 22916 22916 21794 0 -1 4202560 27 0 0 0 53 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195474935616 140196233699930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22991] ppid=22916 vsize=26711656 memory=6944656592455360604 CPUtime=0.61 cores=0-7 /proc/22918/task/22991/stat : 22991 (java) R 22916 22916 21794 0 -1 4202560 20 0 0 0 61 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195469673432 140195875927568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22992] ppid=22916 vsize=26711656 memory=3 CPUtime=0.6 cores=0-7 /proc/22918/task/22992/stat : 22992 (java) R 22916 22916 21794 0 -1 4202560 22 0 0 0 60 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195473882600 140195876072790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22993] ppid=22916 vsize=26711656 memory=140002646758453 CPUtime=0.47 cores=0-7 /proc/22918/task/22993/stat : 22993 (java) R 22916 22916 21794 0 -1 4202560 27 0 0 0 47 0 0 0 20 0 28 0 91238842 27352735744 48494 33554432000 4194304 4196468 140735989894304 140195466521776 140195875504577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 Current children cumulated CPU time: 8.36 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 195428 KiB [startup+2.40144 s] /proc/loadavg: 7.79 8.30 8.34 13/208 22993 /proc/meminfo: memFree=23745024/32770624 swapFree=67108860/67108860 [pid=22916] ppid=22913 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22916/stat : 22916 (xcsp3-exec) S 22913 22916 21794 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91238761 115843072 363 33554432000 4194304 5098028 140728097059184 140728097057288 139629633585788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29065216 140728097068085 140728097068288 140728097068288 140728097071050 0 /proc/22916/statm: 28282 363 305 221 0 87 0 [pid=22918] ppid=22916 vsize=26711656 memory=205180 CPUtime=14.69 cores=0-7 /proc/22918/stat : 22918 (java) S 22916 22916 21794 0 -1 1077944320 22622 0 0 0 1458 11 0 0 20 0 28 0 91238761 27352735744 51295 33554432000 4194304 4196468 140735989894304 140735989876848 140196233678583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 /proc/22918/statm: 6677914 51295 3387 1 0 6639108 0 [pid=22918/tid=22919] ppid=22916 vsize=26711656 memory=0 CPUtime=0.73 cores=0-7 /proc/22918/task/22919/stat : 22919 (java) S 22916 22916 21794 0 -1 1077944384 7317 0 0 0 71 2 0 0 20 0 28 0 91238761 27352735744 51295 33554432000 4194304 4196468 140735989894304 140196237919360 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22920] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22920/stat : 22920 (java) S 22916 22916 21794 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140196190230928 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22921] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22921/stat : 22921 (java) S 22916 22916 21794 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195790453008 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22922] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22922/stat : 22922 (java) S 22916 22916 21794 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195789400720 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22923] ppid=22916 vsize=26711656 memory=280005292594176 CPUtime=0 cores=0-7 /proc/22918/task/22923/stat : 22923 (java) S 22916 22916 21794 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195788347920 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22924] ppid=22916 vsize=26711656 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/22918/task/22924/stat : 22924 (java) S 22916 22916 21794 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195787295632 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22925] ppid=22916 vsize=26711656 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/22918/task/22925/stat : 22925 (java) S 22916 22916 21794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195786242832 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22926] ppid=22916 vsize=26711656 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/22918/task/22926/stat : 22926 (java) S 22916 22916 21794 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195785190544 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22927] ppid=22916 vsize=26711656 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/22918/task/22927/stat : 22927 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195784137744 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22928] ppid=22916 vsize=26711656 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/22918/task/22928/stat : 22928 (java) S 22916 22916 21794 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 91238763 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195495299184 140196233689730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22929] ppid=22916 vsize=26711656 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/22918/task/22929/stat : 22929 (java) S 22916 22916 21794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 91238764 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195494245152 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22930] ppid=22916 vsize=26711656 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/22918/task/22930/stat : 22930 (java) S 22916 22916 21794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 91238764 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195493192816 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22931] ppid=22916 vsize=26711656 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/22918/task/22931/stat : 22931 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91238766 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195492141136 140196233697179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22932] ppid=22916 vsize=26711656 memory=0 CPUtime=1.24 cores=0-7 /proc/22918/task/22932/stat : 22932 (java) S 22916 22916 21794 0 -1 1077944384 3089 0 0 0 124 0 0 0 20 0 28 0 91238767 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195491089008 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22933] ppid=22916 vsize=26711656 memory=0 CPUtime=1.14 cores=0-7 /proc/22918/task/22933/stat : 22933 (java) S 22916 22916 21794 0 -1 1077944384 2682 0 0 0 114 0 0 0 20 0 28 0 91238767 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195490036208 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22934] ppid=22916 vsize=26711656 memory=6199980867544794736 CPUtime=1.24 cores=0-7 /proc/22918/task/22934/stat : 22934 (java) S 22916 22916 21794 0 -1 1077944384 3728 0 0 0 123 1 0 0 20 0 28 0 91238767 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195488983920 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22935] ppid=22916 vsize=26711656 memory=8508281403248053389 CPUtime=0.67 cores=0-7 /proc/22918/task/22935/stat : 22935 (java) S 22916 22916 21794 0 -1 1077944384 3196 0 0 0 66 1 0 0 20 0 28 0 91238767 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195487931120 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22936] ppid=22916 vsize=26711656 memory=1404222122299264374 CPUtime=0 cores=0-7 /proc/22918/task/22936/stat : 22936 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238767 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195486878048 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22937] ppid=22916 vsize=26711656 memory=-8412652161069389683 CPUtime=0 cores=0-7 /proc/22918/task/22937/stat : 22937 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238767 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195485825328 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22986] ppid=22916 vsize=26711656 memory=-2537689246120445521 CPUtime=1.11 cores=0-7 /proc/22918/task/22986/stat : 22986 (java) R 22916 22916 21794 0 -1 4202560 18 0 0 0 111 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195471776728 140195876069379 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22987] ppid=22916 vsize=26711656 memory=8546864036052574154 CPUtime=1.14 cores=0-7 /proc/22918/task/22987/stat : 22987 (java) R 22916 22916 21794 0 -1 4202560 20 0 0 0 114 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195470729112 140195875686531 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22988] ppid=22916 vsize=26711656 memory=1452 CPUtime=1.21 cores=0-7 /proc/22918/task/22988/stat : 22988 (java) R 22916 22916 21794 0 -1 4202560 24 0 0 0 121 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195472831256 140195875687027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22989] ppid=22916 vsize=26711656 memory=200524 CPUtime=1.02 cores=0-7 /proc/22918/task/22989/stat : 22989 (java) R 22916 22916 21794 0 -1 4202560 28 0 0 0 102 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195477041072 140195873044283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22990] ppid=22916 vsize=26711656 memory=0 CPUtime=1.22 cores=0-7 /proc/22918/task/22990/stat : 22990 (java) R 22916 22916 21794 0 -1 4202560 28 0 0 0 122 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195474938552 140195875688107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22991] ppid=22916 vsize=26711656 memory=238422224581388 CPUtime=1.31 cores=0-7 /proc/22918/task/22991/stat : 22991 (java) R 22916 22916 21794 0 -1 4202560 21 0 0 0 131 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195469676792 140195877246409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22992] ppid=22916 vsize=26711656 memory=238422224581389 CPUtime=1.27 cores=0-7 /proc/22918/task/22992/stat : 22992 (java) R 22916 22916 21794 0 -1 4202560 23 0 0 0 127 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195473884520 140195875688052 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22993] ppid=22916 vsize=26711656 memory=238422224581390 CPUtime=1.12 cores=0-7 /proc/22918/task/22993/stat : 22993 (java) R 22916 22916 21794 0 -1 4202560 30 0 0 0 112 0 0 0 20 0 28 0 91238842 27352735744 51295 33554432000 4194304 4196468 140735989894304 140195466524232 140195875927460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 Current children cumulated CPU time: 14.69 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 206632 KiB [startup+2.60144 s] /proc/loadavg: 7.79 8.30 8.34 13/208 22993 /proc/meminfo: memFree=23745024/32770624 swapFree=67108860/67108860 [pid=22916] ppid=22913 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22916/stat : 22916 (xcsp3-exec) S 22913 22916 21794 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91238761 115843072 363 33554432000 4194304 5098028 140728097059184 140728097057288 139629633585788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29065216 140728097068085 140728097068288 140728097068288 140728097071050 0 /proc/22916/statm: 28282 363 305 221 0 87 0 [pid=22918] ppid=22916 vsize=26711656 memory=207228 CPUtime=16.29 cores=0-7 /proc/22918/stat : 22918 (java) S 22916 22916 21794 0 -1 1077944320 22627 0 0 0 1618 11 0 0 20 0 28 0 91238761 27352735744 51807 33554432000 4194304 4196468 140735989894304 140735989876848 140196233678583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 /proc/22918/statm: 6677914 51807 3387 1 0 6639108 0 [pid=22918/tid=22919] ppid=22916 vsize=26711656 memory=0 CPUtime=0.73 cores=0-7 /proc/22918/task/22919/stat : 22919 (java) S 22916 22916 21794 0 -1 1077944384 7317 0 0 0 71 2 0 0 20 0 28 0 91238761 27352735744 51807 33554432000 4194304 4196468 140735989894304 140196237919360 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22920] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22920/stat : 22920 (java) S 22916 22916 21794 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140196190230928 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22921] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22921/stat : 22921 (java) S 22916 22916 21794 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195790453008 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22922] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22922/stat : 22922 (java) S 22916 22916 21794 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195789400720 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22923] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22923/stat : 22923 (java) S 22916 22916 21794 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195788347920 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22924] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22924/stat : 22924 (java) S 22916 22916 21794 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195787295632 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22925] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22925/stat : 22925 (java) S 22916 22916 21794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195786242832 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22926] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22926/stat : 22926 (java) S 22916 22916 21794 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195785190544 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22927] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22927/stat : 22927 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238762 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195784137744 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22928] ppid=22916 vsize=26711656 memory=303148748257886234 CPUtime=0 cores=0-7 /proc/22918/task/22928/stat : 22928 (java) S 22916 22916 21794 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 91238763 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195495299184 140196233689730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22929] ppid=22916 vsize=26711656 memory=6082514196445294695 CPUtime=0 cores=0-7 /proc/22918/task/22929/stat : 22929 (java) S 22916 22916 21794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 91238764 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195494245152 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22930] ppid=22916 vsize=26711656 memory=7446249450775335791 CPUtime=0 cores=0-7 /proc/22918/task/22930/stat : 22930 (java) S 22916 22916 21794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 91238764 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195493192816 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22931] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22931/stat : 22931 (java) S 22916 22916 21794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91238766 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195492141136 140196233697179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22932] ppid=22916 vsize=26711656 memory=0 CPUtime=1.24 cores=0-7 /proc/22918/task/22932/stat : 22932 (java) S 22916 22916 21794 0 -1 1077944384 3089 0 0 0 124 0 0 0 20 0 28 0 91238767 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195491089008 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22933] ppid=22916 vsize=26711656 memory=0 CPUtime=1.14 cores=0-7 /proc/22918/task/22933/stat : 22933 (java) S 22916 22916 21794 0 -1 1077944384 2682 0 0 0 114 0 0 0 20 0 28 0 91238767 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195490036208 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22934] ppid=22916 vsize=26711656 memory=2350 CPUtime=1.24 cores=0-7 /proc/22918/task/22934/stat : 22934 (java) S 22916 22916 21794 0 -1 1077944384 3728 0 0 0 123 1 0 0 20 0 28 0 91238767 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195488983920 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22935] ppid=22916 vsize=26711656 memory=567 CPUtime=0.67 cores=0-7 /proc/22918/task/22935/stat : 22935 (java) S 22916 22916 21794 0 -1 1077944384 3200 0 0 0 66 1 0 0 20 0 28 0 91238767 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195487931120 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22936] ppid=22916 vsize=26711656 memory=0 CPUtime=0 cores=0-7 /proc/22918/task/22936/stat : 22936 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238767 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195486878048 140196233688789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22937] ppid=22916 vsize=26711656 memory=154 CPUtime=0 cores=0-7 /proc/22918/task/22937/stat : 22937 (java) S 22916 22916 21794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91238767 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195485825328 140196233689730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22986] ppid=22916 vsize=26711656 memory=243 CPUtime=1.3 cores=0-7 /proc/22918/task/22986/stat : 22986 (java) R 22916 22916 21794 0 -1 4202560 18 0 0 0 130 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195471776728 140195875687868 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22987] ppid=22916 vsize=26711656 memory=52 CPUtime=1.33 cores=0-7 /proc/22918/task/22987/stat : 22987 (java) R 22916 22916 21794 0 -1 4202560 20 0 0 0 133 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195470729112 140195875687898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22988] ppid=22916 vsize=26711656 memory=71 CPUtime=1.41 cores=0-7 /proc/22918/task/22988/stat : 22988 (java) R 22916 22916 21794 0 -1 4202560 24 0 0 0 141 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195472831256 140195875686029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22989] ppid=22916 vsize=26711656 memory=15418 CPUtime=1.22 cores=0-7 /proc/22918/task/22989/stat : 22989 (java) R 22916 22916 21794 0 -1 4202560 29 0 0 0 122 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195477041720 140195876841206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22990] ppid=22916 vsize=26711656 memory=0 CPUtime=1.41 cores=0-7 /proc/22918/task/22990/stat : 22990 (java) R 22916 22916 21794 0 -1 4202560 28 0 0 0 141 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195474938552 140195876955279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22991] ppid=22916 vsize=26711656 memory=7595154119923689536 CPUtime=1.51 cores=0-7 /proc/22918/task/22991/stat : 22991 (java) R 22916 22916 21794 0 -1 4202560 21 0 0 0 151 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195469676792 140195875686656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22992] ppid=22916 vsize=26711656 memory=7451326960961601632 CPUtime=1.47 cores=0-7 /proc/22918/task/22992/stat : 22992 (java) R 22916 22916 21794 0 -1 4202560 23 0 0 0 147 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195473884520 140195876470428 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 [pid=22918/tid=22993] ppid=22916 vsize=26711656 memory=7595154119923689536 CPUtime=1.32 cores=0-7 /proc/22918/task/22993/stat : 22993 (java) R 22916 22916 21794 0 -1 4202560 30 0 0 0 132 0 0 0 20 0 28 0 91238842 27352735744 51807 33554432000 4194304 4196468 140735989894304 140195466522760 140196218888542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7147520 140735989900417 140735989900589 140735989900589 140735989903311 0 Current children cumulated CPU time: 16.29 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 208680 KiB Child status: 0 Real time (s): 2.61591 CPU time (s): 16.3408 CPU user time (s): 16.2183 CPU system time (s): 0.122457 CPU usage (%): 624.669 Max. virtual memory (cumulated for all children) (KiB): 26824784 Max. memory (cumulated for all children) (KiB): 208680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.2183 system time used= 0.122457 maximum resident set size= 208476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23209 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4034 involuntary context switches= 471 # summary of solver processes directly reported to runsolver: # pid: 22916 # total CPU time (s): 16.3408 # total CPU user time (s): 16.2183 # total CPU system time (s): 0.122457 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.044311 second user time and 0.068576 second system time The end
Begin job on node139 at 2018-07-28 02:12:36 IDJOB=4297854 IDBENCH=141668 IDSOLVER=2760 FILE ID=node139/4297854-1532736756 RUNJOBID= node139-1532728888-21821 PBS_JOBID= 21022349 Free space on /tmp= 38720 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Bacp/Bacp-m2/Bacp-m2-06_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-4297854-1532736756/watcher-4297854-1532736756 -o /tmp/evaluation-result-4297854-1532736756/solver-4297854-1532736756 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532728888-21821 --watchdog 2580 HOME/xcsp3-exec -seed 1752921300 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297854-1532736756.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a425e3c2d344a7c12b87076aad716824 RANDOM SEED=1752921300 node139.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.80 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.80 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.80 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.80 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: 23935312 kB MemAvailable: 31931648 kB Buffers: 215488 kB Cached: 7911872 kB SwapCached: 0 kB Active: 3079980 kB Inactive: 5099536 kB Active(anon): 6392 kB Inactive(anon): 73596 kB Active(file): 3073588 kB Inactive(file): 5025940 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21724 kB Writeback: 0 kB AnonPages: 224436 kB Mapped: 42844 kB Shmem: 25260 kB Slab: 351936 kB SReclaimable: 325268 kB SUnreclaim: 26668 kB KernelStack: 3536 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324700 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38696 MiB End job on node139 at 2018-07-28 02:12:39