Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 107 | 4.1961002 | 1.27431 |
Name | Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml |
MD5SUM | eccc16cbaa217285dad955f7b1421169 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 107 |
Best CPU time to get the best result obtained on this benchmark | 3.2384901 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 122 |
Number of constraints | 224 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 655 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":655,"count":121}] |
Minimum variable degree | 3 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":3,"count":23},{"degree":4,"count":18},{"degree":5,"count":68},{"degree":6,"count":11},{"degree":7,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 32 |
Distribution of constraint arities | [{"arity":2,"count":220},{"arity":27,"count":1},{"arity":29,"count":1},{"arity":32,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 220 |
Distribution of constraint types | [{"type":"intension","count":220},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281511-1503186636.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281511-1503186636.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 1.73/0.76 c solve instance... 2.20/0.87 o 121 2.88/0.91 o 118 2.88/0.93 o 116 2.88/0.98 o 115 2.88/0.98 o 109 2.88/1.00 o 108 3.61/1.05 o 107 3.61/1.06 s OPTIMUM FOUND 3.61/1.06 v <instantiation> 3.61/1.06 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121] </list> 3.61/1.06 v <values>0 0 14 8 14 11 9 24 21 29 17 25 31 11 42 28 20 32 22 66 36 38 36 34 71 42 55 26 48 77 36 32 27 43 53 47 22 55 56 48 32 28 29 39 47 92 28 48 47 55 59 52 49 51 37 53 43 77 67 74 60 49 45 46 55 55 55 22 56 66 67 48 39 79 77 69 68 80 60 52 60 68 67 75 93 67 82 65 86 88 82 73 87 69 74 91 88 91 73 72 77 96 78 87 97 83 96 52 76 82 95 83 97 89 91 99 87 98 103 97 103 107 </values> 3.61/1.06 v </instantiation>
OK 107
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 (12698 MiB free) memory of node 1: 16384 MiB (13859 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281511-1503186636/watcher-4281511-1503186636 -o /tmp/evaluation-result-4281511-1503186636/solver-4281511-1503186636 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 337771753 HOME/instance-4281511-1503186636.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17275, runsolver pid=17272 Current StackSize limit: 8192 KiB [startup+0.10014 s]* /proc/loadavg: 7.43 7.97 8.06 2/199 17296 /proc/meminfo: memFree=27176864/32770624 swapFree=67108860/67108860 [pid=17275] ppid=17272 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17275/stat : 17275 (xcsp3-exec) S 17272 17275 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151751145 9740288 346 33554432000 4194304 5098028 140734705141664 140734705139768 140119170482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16031744 140734705144939 140734705145148 140734705145148 140734705147883 0 /proc/17275/statm: 2378 346 289 221 0 87 0 [pid=17277] ppid=17275 vsize=25999808 memory=29072 CPUtime=0.11 cores=0-7 /proc/17277/stat : 17277 (java) S 17275 17275 12278 0 -1 1077944320 5596 0 0 0 10 1 0 0 20 0 20 0 151751146 26623803392 7268 33554432000 4194304 4196468 140728673093520 140728673076064 140419930574583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 /proc/17277/statm: 6499952 7268 2870 1 0 6488269 0 [pid=17277/tid=17278] ppid=17275 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/17277/task/17278/stat : 17278 (java) R 17275 17275 12278 0 -1 4202560 3631 0 0 0 8 0 0 0 20 0 20 0 151751146 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419934806832 140419908571035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17279] ppid=17275 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17277/task/17279/stat : 17279 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419883194896 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17280] ppid=17275 vsize=25999808 memory=140432269039232 CPUtime=0 cores=0-7 /proc/17277/task/17280/stat : 17280 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419882142352 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17281] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17281/stat : 17281 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419881089296 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17282] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17282/stat : 17282 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419880036752 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17283] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17283/stat : 17283 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419878984720 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17284] ppid=17275 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17277/task/17284/stat : 17284 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419877932176 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17285] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17285/stat : 17285 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419876879120 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17286] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17286/stat : 17286 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751147 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419875826576 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17287] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17287/stat : 17287 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751148 26623803392 7268 33554432000 4194304 4196468 140728673093520 140419192113392 140419930585730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17288] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17288/stat : 17288 (java) S 17275 17275 12278 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151751149 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418134566048 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17289] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17289/stat : 17289 (java) S 17275 17275 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151751149 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418133512944 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17290] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17290/stat : 17290 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751151 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418132461520 140419930593179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17291] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17291/stat : 17291 (java) S 17275 17275 12278 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 151751151 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418131409648 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17292] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17292/stat : 17292 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751152 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418130357104 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17293] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17293/stat : 17293 (java) S 17275 17275 12278 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 20 0 151751152 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418129304048 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17294] ppid=17275 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/17277/task/17294/stat : 17294 (java) R 17275 17275 12278 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 20 0 151751152 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418128251504 140419930586518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17295] ppid=17275 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17295/stat : 17295 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751152 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418127198688 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17296] ppid=17275 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17277/task/17296/stat : 17296 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751152 26623803392 7268 33554432000 4194304 4196468 140728673093520 140418126146224 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 30456 KiB [startup+0.210392 s]* /proc/loadavg: 7.43 7.97 8.06 2/199 17296 /proc/meminfo: memFree=27165748/32770624 swapFree=67108860/67108860 [pid=17275] ppid=17272 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17275/stat : 17275 (xcsp3-exec) S 17272 17275 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151751145 9740288 346 33554432000 4194304 5098028 140734705141664 140734705139768 140119170482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16031744 140734705144939 140734705145148 140734705145148 140734705147883 0 /proc/17275/statm: 2378 346 289 221 0 87 0 [pid=17277] ppid=17275 vsize=26004064 memory=41020 CPUtime=0.32 cores=0-7 /proc/17277/stat : 17277 (java) S 17275 17275 12278 0 -1 1077944320 8271 0 0 0 30 2 0 0 20 0 20 0 151751146 26628161536 10255 33554432000 4194304 4196468 140728673093520 140728673076064 140419930574583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 /proc/17277/statm: 6501016 10255 3067 1 0 6488269 0 [pid=17277/tid=17278] ppid=17275 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17277/task/17278/stat : 17278 (java) R 17275 17275 12278 0 -1 4202560 5426 0 0 0 18 1 0 0 20 0 20 0 151751146 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419934795576 140419930596509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17279] ppid=17275 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/17277/task/17279/stat : 17279 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419883194896 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17280] ppid=17275 vsize=26004064 memory=140432269052954 CPUtime=0 cores=0-7 /proc/17277/task/17280/stat : 17280 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419882142352 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17281] ppid=17275 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17277/task/17281/stat : 17281 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419881089296 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17282] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17282/stat : 17282 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419880036752 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17283] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17283/stat : 17283 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419878984720 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17284] ppid=17275 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17277/task/17284/stat : 17284 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419877932176 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17285] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17285/stat : 17285 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419876879120 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17286] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17286/stat : 17286 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419875826576 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17287] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17287/stat : 17287 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751148 26628161536 10255 33554432000 4194304 4196468 140728673093520 140419192113392 140419930585730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17288] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17288/stat : 17288 (java) S 17275 17275 12278 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151751149 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418134566048 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17289] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17289/stat : 17289 (java) S 17275 17275 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151751149 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418133512944 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17290] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17290/stat : 17290 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751151 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418132461520 140419930593179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17291] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17291/stat : 17291 (java) S 17275 17275 12278 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 151751151 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418131409648 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17292] ppid=17275 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/17277/task/17292/stat : 17292 (java) S 17275 17275 12278 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 20 0 151751152 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418130357104 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17293] ppid=17275 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/17277/task/17293/stat : 17293 (java) S 17275 17275 12278 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 20 0 151751152 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418129304048 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17294] ppid=17275 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/17277/task/17294/stat : 17294 (java) R 17275 17275 12278 0 -1 4202560 705 0 0 0 7 0 0 0 20 0 20 0 151751152 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418128251504 140419930586518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17295] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17295/stat : 17295 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751152 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418127198688 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17296] ppid=17275 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17277/task/17296/stat : 17296 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751152 26628161536 10255 33554432000 4194304 4196468 140728673093520 140418126146224 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 42404 KiB [startup+0.310233 s]* /proc/loadavg: 7.43 7.97 8.06 3/199 17296 /proc/meminfo: memFree=27161456/32770624 swapFree=67108860/67108860 [pid=17275] ppid=17272 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17275/stat : 17275 (xcsp3-exec) S 17272 17275 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151751145 9740288 346 33554432000 4194304 5098028 140734705141664 140734705139768 140119170482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16031744 140734705144939 140734705145148 140734705145148 140734705147883 0 /proc/17275/statm: 2378 346 289 221 0 87 0 [pid=17277] ppid=17275 vsize=26004064 memory=47988 CPUtime=0.5 cores=0-7 /proc/17277/stat : 17277 (java) S 17275 17275 12278 0 -1 1077944320 9133 0 0 0 47 3 0 0 20 0 20 0 151751146 26628161536 11997 33554432000 4194304 4196468 140728673093520 140728673076064 140419930574583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 /proc/17277/statm: 6501016 11997 3090 1 0 6488269 0 [pid=17277/tid=17278] ppid=17275 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17277/task/17278/stat : 17278 (java) R 17275 17275 12278 0 -1 4202560 6123 0 0 0 27 2 0 0 20 0 20 0 151751146 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419934797424 140419930596509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17279] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17279/stat : 17279 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419883194896 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17280] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17280/stat : 17280 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419882142352 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17281] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17281/stat : 17281 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419881089296 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17282] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17282/stat : 17282 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419880036752 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17283] ppid=17275 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/17277/task/17283/stat : 17283 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419878984720 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17284] ppid=17275 vsize=26004064 memory=140432143119279 CPUtime=0 cores=0-7 /proc/17277/task/17284/stat : 17284 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419877932176 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17285] ppid=17275 vsize=26004064 memory=140432143121584 CPUtime=0 cores=0-7 /proc/17277/task/17285/stat : 17285 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419876879120 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17286] ppid=17275 vsize=26004064 memory=3472464330324293088 CPUtime=0 cores=0-7 /proc/17277/task/17286/stat : 17286 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751147 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419875826576 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17287] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17287/stat : 17287 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751148 26628161536 11997 33554432000 4194304 4196468 140728673093520 140419192113392 140419930585730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17288] ppid=17275 vsize=26004064 memory=280864286254736 CPUtime=0 cores=0-7 /proc/17277/task/17288/stat : 17288 (java) S 17275 17275 12278 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151751149 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418134566048 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17289] ppid=17275 vsize=26004064 memory=280864286261648 CPUtime=0 cores=0-7 /proc/17277/task/17289/stat : 17289 (java) S 17275 17275 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151751149 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418133512944 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17290] ppid=17275 vsize=26004064 memory=280864286202800 CPUtime=0 cores=0-7 /proc/17277/task/17290/stat : 17290 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751151 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418132461520 140419930593179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17291] ppid=17275 vsize=26004064 memory=280864286275472 CPUtime=0.01 cores=0-7 /proc/17277/task/17291/stat : 17291 (java) S 17275 17275 12278 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 151751151 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418131409648 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17292] ppid=17275 vsize=26004064 memory=280864286282384 CPUtime=0.03 cores=0-7 /proc/17277/task/17292/stat : 17292 (java) S 17275 17275 12278 0 -1 1077944384 339 0 0 0 3 0 0 0 20 0 20 0 151751152 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418130357104 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17293] ppid=17275 vsize=26004064 memory=280864286280080 CPUtime=0.01 cores=0-7 /proc/17277/task/17293/stat : 17293 (java) S 17275 17275 12278 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 20 0 151751152 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418129304048 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17294] ppid=17275 vsize=26004064 memory=280864286296240 CPUtime=0.12 cores=0-7 /proc/17277/task/17294/stat : 17294 (java) R 17275 17275 12278 0 -1 4202560 799 0 0 0 12 0 0 0 20 0 20 0 151751152 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418128247872 140419909923680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17295] ppid=17275 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17295/stat : 17295 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751152 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418127198688 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17296] ppid=17275 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17277/task/17296/stat : 17296 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751152 26628161536 11997 33554432000 4194304 4196468 140728673093520 140418126146224 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 49372 KiB [startup+0.701025 s] /proc/loadavg: 7.43 7.97 8.06 4/199 17296 /proc/meminfo: memFree=27145956/32770624 swapFree=67108860/67108860 [pid=17275] ppid=17272 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17275/stat : 17275 (xcsp3-exec) S 17272 17275 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151751145 9740288 346 33554432000 4194304 5098028 140734705141664 140734705139768 140119170482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16031744 140734705144939 140734705145148 140734705145148 140734705147883 0 /proc/17275/statm: 2378 346 289 221 0 87 0 [pid=17277] ppid=17275 vsize=26006188 memory=90552 CPUtime=1.73 cores=0-7 /proc/17277/stat : 17277 (java) S 17275 17275 12278 0 -1 1077944320 13788 0 0 0 168 5 0 0 20 0 20 0 151751146 26630336512 22638 33554432000 4194304 4196468 140728673093520 140728673076064 140419930574583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 /proc/17277/statm: 6501547 22638 3209 1 0 6488781 0 [pid=17277/tid=17278] ppid=17275 vsize=26006188 memory=280864286654128 CPUtime=0.67 cores=0-7 /proc/17277/task/17278/stat : 17278 (java) R 17275 17275 12278 0 -1 4202560 6888 0 0 0 64 3 0 0 20 0 20 0 151751146 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419934813472 140419546817089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17279] ppid=17275 vsize=26006188 memory=140432143328112 CPUtime=0 cores=0-7 /proc/17277/task/17279/stat : 17279 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419883194896 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17280] ppid=17275 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17280/stat : 17280 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419882142352 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17281] ppid=17275 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/17277/task/17281/stat : 17281 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419881089296 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17282] ppid=17275 vsize=26006188 memory=796 CPUtime=0 cores=0-7 /proc/17277/task/17282/stat : 17282 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419880036752 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17283] ppid=17275 vsize=26006188 memory=1424 CPUtime=0 cores=0-7 /proc/17277/task/17283/stat : 17283 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419878984720 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17284] ppid=17275 vsize=26006188 memory=15876 CPUtime=0 cores=0-7 /proc/17277/task/17284/stat : 17284 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419877932176 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17285] ppid=17275 vsize=26006188 memory=4052 CPUtime=0 cores=0-7 /proc/17277/task/17285/stat : 17285 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419876879120 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17286] ppid=17275 vsize=26006188 memory=24264 CPUtime=0 cores=0-7 /proc/17277/task/17286/stat : 17286 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751147 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419875826576 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17287] ppid=17275 vsize=26006188 memory=18444 CPUtime=0 cores=0-7 /proc/17277/task/17287/stat : 17287 (java) S 17275 17275 12278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151751148 26630336512 22638 33554432000 4194304 4196468 140728673093520 140419192113392 140419930585730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17288] ppid=17275 vsize=26006188 memory=1788 CPUtime=0 cores=0-7 /proc/17277/task/17288/stat : 17288 (java) S 17275 17275 12278 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151751149 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418134566048 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17289] ppid=17275 vsize=26006188 memory=640 CPUtime=0 cores=0-7 /proc/17277/task/17289/stat : 17289 (java) S 17275 17275 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151751149 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418133512944 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17290] ppid=17275 vsize=26006188 memory=952 CPUtime=0 cores=0-7 /proc/17277/task/17290/stat : 17290 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751151 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418132461520 140419930593179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17291] ppid=17275 vsize=26006188 memory=0 CPUtime=0.18 cores=0-7 /proc/17277/task/17291/stat : 17291 (java) R 17275 17275 12278 0 -1 4202560 908 0 0 0 17 1 0 0 20 0 20 0 151751151 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418131390664 140419914071442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17292] ppid=17275 vsize=26006188 memory=1008 CPUtime=0.23 cores=0-7 /proc/17277/task/17292/stat : 17292 (java) R 17275 17275 12278 0 -1 4202560 1233 0 0 0 23 0 0 0 20 0 20 0 151751152 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418130343888 140419908169520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17293] ppid=17275 vsize=26006188 memory=1928 CPUtime=0.19 cores=0-7 /proc/17277/task/17293/stat : 17293 (java) R 17275 17275 12278 0 -1 4202560 1295 0 0 0 19 0 0 0 20 0 20 0 151751152 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418129304176 140419930595930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17294] ppid=17275 vsize=26006188 memory=1200 CPUtime=0.42 cores=0-7 /proc/17277/task/17294/stat : 17294 (java) R 17275 17275 12278 0 -1 4202560 2174 0 0 0 42 0 0 0 20 0 20 0 151751152 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418128249296 140419930586518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17295] ppid=17275 vsize=26006188 memory=8660 CPUtime=0 cores=0-7 /proc/17277/task/17295/stat : 17295 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151751152 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418127198688 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17296] ppid=17275 vsize=26006188 memory=5784 CPUtime=0 cores=0-7 /proc/17277/task/17296/stat : 17296 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151751152 26630336512 22638 33554432000 4194304 4196468 140728673093520 140418126146224 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 Current children cumulated CPU time: 1.73 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 91936 KiB [startup+1.27425 s] # the end of solver process 17275 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.07688 s, system=0.119224 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.801087 s] /proc/loadavg: 7.43 7.97 8.06 4/199 17296 /proc/meminfo: memFree=27145956/32770624 swapFree=67108860/67108860 [pid=17275] ppid=17272 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17275/stat : 17275 (xcsp3-exec) S 17272 17275 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151751145 9740288 346 33554432000 4194304 5098028 140734705141664 140734705139768 140119170482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16031744 140734705144939 140734705145148 140734705145148 140734705147883 0 /proc/17275/statm: 2378 346 289 221 0 87 0 [pid=17277] ppid=17275 vsize=26538700 memory=124876 CPUtime=2.2 cores=0-7 /proc/17277/stat : 17277 (java) S 17275 17275 12278 0 -1 1077944320 14984 0 0 0 213 7 0 0 20 0 28 0 151751146 27175628800 31219 33554432000 4194304 4196468 140728673093520 140728673076064 140419930574583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 /proc/17277/statm: 6634675 31219 3215 1 0 6621909 0 [pid=17277/tid=17278] ppid=17275 vsize=26538700 memory=4638778398332698720 CPUtime=0.74 cores=0-7 /proc/17277/task/17278/stat : 17278 (java) S 17275 17275 12278 0 -1 1077944384 6989 0 0 0 71 3 0 0 20 0 28 0 151751146 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419934815360 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17279] ppid=17275 vsize=26538700 memory=4638778398332698720 CPUtime=0 cores=0-7 /proc/17277/task/17279/stat : 17279 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419883194896 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17280] ppid=17275 vsize=26538700 memory=6935649255759569216 CPUtime=0 cores=0-7 /proc/17277/task/17280/stat : 17280 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419882142352 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17281] ppid=17275 vsize=26538700 memory=-8820188211957838939 CPUtime=0 cores=0-7 /proc/17277/task/17281/stat : 17281 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419881089296 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17282] ppid=17275 vsize=26538700 memory=-9109213556524817781 CPUtime=0 cores=0-7 /proc/17277/task/17282/stat : 17282 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419880036752 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17283] ppid=17275 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17283/stat : 17283 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419878984720 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17284] ppid=17275 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17284/stat : 17284 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419877932176 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17285] ppid=17275 vsize=26538700 memory=280864286117440 CPUtime=0 cores=0-7 /proc/17277/task/17285/stat : 17285 (java) S 17275 17275 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419876879120 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17286] ppid=17275 vsize=26538700 memory=-9178283013952593245 CPUtime=0 cores=0-7 /proc/17277/task/17286/stat : 17286 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151751147 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419875826576 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17287] ppid=17275 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17277/task/17287/stat : 17287 (java) S 17275 17275 12278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 151751148 27175628800 31219 33554432000 4194304 4196468 140728673093520 140419192113392 140419930585730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17288] ppid=17275 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/17277/task/17288/stat : 17288 (java) S 17275 17275 12278 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 151751149 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418134566048 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17289] ppid=17275 vsize=26538700 memory=1720 CPUtime=0 cores=0-7 /proc/17277/task/17289/stat : 17289 (java) S 17275 17275 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151751149 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418133512944 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17290] ppid=17275 vsize=26538700 memory=1008 CPUtime=0 cores=0-7 /proc/17277/task/17290/stat : 17290 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151751151 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418132461520 140419930593179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17291] ppid=17275 vsize=26538700 memory=1928 CPUtime=0.27 cores=0-7 /proc/17277/task/17291/stat : 17291 (java) R 17275 17275 12278 0 -1 4202560 1144 0 0 0 26 1 0 0 20 0 28 0 151751151 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418131398320 140419915699672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17292] ppid=17275 vsize=26538700 memory=1200 CPUtime=0.31 cores=0-7 /proc/17277/task/17292/stat : 17292 (java) R 17275 17275 12278 0 -1 4202560 1278 0 0 0 31 0 0 0 20 0 28 0 151751152 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418130357104 140419930586518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17293] ppid=17275 vsize=26538700 memory=8660 CPUtime=0.29 cores=0-7 /proc/17277/task/17293/stat : 17293 (java) R 17275 17275 12278 0 -1 4202560 1596 0 0 0 29 0 0 0 20 0 28 0 151751152 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418129289928 140419915504053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17294] ppid=17275 vsize=26538700 memory=5784 CPUtime=0.48 cores=0-7 /proc/17277/task/17294/stat : 17294 (java) R 17275 17275 12278 0 -1 4202560 2302 0 0 0 48 0 0 0 20 0 28 0 151751152 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418128249296 140419911984733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17295] ppid=17275 vsize=26538700 memory=4616 CPUtime=0 cores=0-7 /proc/17277/task/17295/stat : 17295 (java) S 17275 17275 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151751152 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418127198688 140419930584789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 [pid=17277/tid=17296] ppid=17275 vsize=26538700 memory=1228 CPUtime=0 cores=0-7 /proc/17277/task/17296/stat : 17296 (java) S 17275 17275 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151751152 27175628800 31219 33554432000 4194304 4196468 140728673093520 140418126146224 140419930585730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140728673100952 140728673101128 140728673101128 140728673103823 0 Current children cumulated CPU time: 2.2 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 126260 KiB [startup+1.20093 s] /proc/loadavg: 7.43 7.97 8.06 13/206 17343 /proc/meminfo: memFree=27000960/32770624 swapFree=67108860/67108860 [pid=17275] ppid=17272 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17275/stat : 17275 (xcsp3-exec) S 17272 17275 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151751145 9740288 346 33554432000 4194304 5098028 140734705141664 140734705139768 140119170482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16031744 140734705144939 140734705145148 140734705145148 140734705147883 0 /proc/17275/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 1.27431 CPU time (s): 4.1961 CPU user time (s): 4.07688 CPU system time (s): 0.119224 CPU usage (%): 329.285 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 216136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.07688 system time used= 0.119224 maximum resident set size= 220880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24973 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3764 involuntary context switches= 50 # summary of solver processes directly reported to runsolver: # pid: 17275 # total CPU time (s): 4.1961 # total CPU user time (s): 4.07688 # total CPU system time (s): 0.119224 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036556 second user time and 0.050108 second system time The end
Begin job on node115 at 2017-08-20 01:36:16 IDJOB=4281511 IDBENCH=129546 IDSOLVER=2676 FILE ID=node115/4281511-1503186636 RUNJOBID= node115-1503173871-12305 PBS_JOBID= 20630842 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-23-09.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281511-1503186636/watcher-4281511-1503186636 -o /tmp/evaluation-result-4281511-1503186636/solver-4281511-1503186636 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 337771753 HOME/instance-4281511-1503186636.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= eccc16cbaa217285dad955f7b1421169 RANDOM SEED=337771753 node115.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.69 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.69 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.69 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.69 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: 27195892 kB MemAvailable: 31973076 kB Buffers: 246288 kB Cached: 4823936 kB SwapCached: 0 kB Active: 903612 kB Inactive: 4222940 kB Active(anon): 7236 kB Inactive(anon): 85200 kB Active(file): 896376 kB Inactive(file): 4137740 kB Unevictable: 7032 kB Mlocked: 7032 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8120 kB Writeback: 0 kB AnonPages: 73644 kB Mapped: 50976 kB Shmem: 33416 kB Slab: 144560 kB SReclaimable: 117804 kB SUnreclaim: 26756 kB KernelStack: 3520 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333012 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-20 01:36:17