Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 57 | 1.89635 | 0.72365397 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml |
MD5SUM | a1a47bf7c0dfac46ae24643a1dca38e9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 57 |
Best CPU time to get the best result obtained on this benchmark | 0.30547801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 177 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":177,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":6},{"degree":6,"count":12},{"degree":7,"count":9},{"degree":8,"count":1},{"degree":9,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 17 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":14,"count":2},{"arity":16,"count":1},{"arity":17,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 68 |
Distribution of constraint types | [{"type":"intension","count":68},{"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-4271707-1502643789.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271707-1502643789.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 1.29/0.63 c solve instance... 1.29/0.70 o 57 1.86/0.70 s OPTIMUM FOUND 1.86/0.70 v <instantiation> 1.86/0.70 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] </list> 1.86/0.70 v <values>0 0 0 0 10 5 10 5 20 10 20 12 5 20 20 12 26 24 30 30 22 35 24 35 36 33 41 40 33 41 51 57 </values> 1.86/0.70 v </instantiation>
OK 57
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 (15080 MiB free) memory of node 1: 16384 MiB (15690 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271707-1502643789/watcher-4271707-1502643789 -o /tmp/evaluation-result-4271707-1502643789/solver-4271707-1502643789 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1371688403 HOME/instance-4271707-1502643789.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 Current StackSize limit: 8192 KiB solver pid=13242, runsolver pid=13239 [startup+0.100136 s]* /proc/loadavg: 8.28 6.22 5.27 2/199 13263 /proc/meminfo: memFree=31493752/32770624 swapFree=67108860/67108860 [pid=13242] ppid=13239 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13242/stat : 13242 (xcsp3-exec) S 13239 13242 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97466708 9740288 345 33554432000 4194304 5098028 140724885724768 140724885722872 140345879671420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20918272 140724885726314 140724885726524 140724885726524 140724885729259 0 /proc/13242/statm: 2378 345 289 221 0 87 0 [pid=13244] ppid=13242 vsize=25999808 memory=26480 CPUtime=0.12 cores=0-7 /proc/13244/stat : 13244 (java) S 13242 13242 4682 0 -1 1077944320 5526 0 0 0 10 2 0 0 20 0 20 0 97466708 26623803392 6620 33554432000 4194304 4196468 140725549409440 140725549391984 140112271199991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 /proc/13244/statm: 6499952 6620 2849 1 0 6488269 0 [pid=13244/tid=13245] ppid=13242 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13244/task/13245/stat : 13245 (java) R 13242 13242 4682 0 -1 4202560 3530 0 0 0 8 1 0 0 20 0 20 0 97466708 26623803392 6620 33554432000 4194304 4196468 140725549409440 140112275433264 140112271211926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13246] ppid=13242 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13244/task/13246/stat : 13246 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140112236481168 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13247] ppid=13242 vsize=25999808 memory=140201530693248 CPUtime=0 cores=0-7 /proc/13244/task/13247/stat : 13247 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140111828535824 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13248] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13248/stat : 13248 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140111827483024 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13249] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13249/stat : 13249 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140111826430224 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13250] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13250/stat : 13250 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140111825378448 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13251] ppid=13242 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13244/task/13251/stat : 13251 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140111824325648 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13252] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13252/stat : 13252 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140111823272848 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13253] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13253/stat : 13253 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97466709 26623803392 6620 33554432000 4194304 4196468 140725549409440 140111822220048 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13254] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13254/stat : 13254 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466710 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110946040176 140112271211138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13255] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13255/stat : 13255 (java) S 13242 13242 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97466711 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110944986144 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13256] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13256/stat : 13256 (java) S 13242 13242 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97466711 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110943933296 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13257] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13257/stat : 13257 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466714 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110942881616 140112271218587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13258] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13258/stat : 13258 (java) S 13242 13242 4682 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 97466714 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110941830000 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13259] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13259/stat : 13259 (java) S 13242 13242 4682 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 97466714 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110940777200 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13260] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13260/stat : 13260 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97466714 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110939724400 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13261] ppid=13242 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/13244/task/13261/stat : 13261 (java) R 13242 13242 4682 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 97466714 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110938671600 140112255280478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13262] ppid=13242 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13262/stat : 13262 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97466714 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110937619040 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13263] ppid=13242 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13244/task/13263/stat : 13263 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466714 26623803392 6620 33554432000 4194304 4196468 140725549409440 140110936566320 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27860 KiB [startup+0.210485 s]* /proc/loadavg: 8.28 6.22 5.27 2/199 13263 /proc/meminfo: memFree=31484652/32770624 swapFree=67108860/67108860 [pid=13242] ppid=13239 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13242/stat : 13242 (xcsp3-exec) S 13239 13242 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97466708 9740288 345 33554432000 4194304 5098028 140724885724768 140724885722872 140345879671420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20918272 140724885726314 140724885726524 140724885726524 140724885729259 0 /proc/13242/statm: 2378 345 289 221 0 87 0 [pid=13244] ppid=13242 vsize=26004064 memory=39300 CPUtime=0.32 cores=0-7 /proc/13244/stat : 13244 (java) S 13242 13242 4682 0 -1 1077944320 8390 0 0 0 29 3 0 0 20 0 20 0 97466708 26628161536 9825 33554432000 4194304 4196468 140725549409440 140725549391984 140112271199991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 /proc/13244/statm: 6501016 9825 3066 1 0 6488269 0 [pid=13244/tid=13245] ppid=13242 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13244/task/13245/stat : 13245 (java) R 13242 13242 4682 0 -1 4202560 5440 0 0 0 17 2 0 0 20 0 20 0 97466708 26628161536 9825 33554432000 4194304 4196468 140725549409440 140112275420984 140112255280478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13246] ppid=13242 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/13244/task/13246/stat : 13246 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140112236481168 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13247] ppid=13242 vsize=26004064 memory=140201530705376 CPUtime=0 cores=0-7 /proc/13244/task/13247/stat : 13247 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140111828535824 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13248] ppid=13242 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13244/task/13248/stat : 13248 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140111827483024 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13249] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13249/stat : 13249 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140111826430224 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13250] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13250/stat : 13250 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140111825378448 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13251] ppid=13242 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13244/task/13251/stat : 13251 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140111824325648 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13252] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13252/stat : 13252 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140111823272848 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13253] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13253/stat : 13253 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 9825 33554432000 4194304 4196468 140725549409440 140111822220048 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13254] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13254/stat : 13254 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466710 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110946040176 140112271211138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13255] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13255/stat : 13255 (java) S 13242 13242 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97466711 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110944986144 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13256] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13256/stat : 13256 (java) S 13242 13242 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97466711 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110943933296 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13257] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13257/stat : 13257 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466714 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110942881616 140112271218587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13258] ppid=13242 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/13244/task/13258/stat : 13258 (java) S 13242 13242 4682 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 97466714 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110941830000 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13259] ppid=13242 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/13244/task/13259/stat : 13259 (java) S 13242 13242 4682 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 97466714 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110940777200 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13260] ppid=13242 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/13244/task/13260/stat : 13260 (java) S 13242 13242 4682 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 97466714 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110939724400 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13261] ppid=13242 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/13244/task/13261/stat : 13261 (java) S 13242 13242 4682 0 -1 1077944384 760 0 0 0 7 0 0 0 20 0 20 0 97466714 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110938671600 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13262] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13262/stat : 13262 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97466714 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110937619040 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13263] ppid=13242 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13244/task/13263/stat : 13263 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466714 26628161536 9825 33554432000 4194304 4196468 140725549409440 140110936566320 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40680 KiB [startup+0.310282 s]* /proc/loadavg: 8.28 6.22 5.27 3/199 13263 /proc/meminfo: memFree=31477952/32770624 swapFree=67108860/67108860 [pid=13242] ppid=13239 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13242/stat : 13242 (xcsp3-exec) S 13239 13242 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97466708 9740288 345 33554432000 4194304 5098028 140724885724768 140724885722872 140345879671420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20918272 140724885726314 140724885726524 140724885726524 140724885729259 0 /proc/13242/statm: 2378 345 289 221 0 87 0 [pid=13244] ppid=13242 vsize=26004064 memory=46356 CPUtime=0.5 cores=0-7 /proc/13244/stat : 13244 (java) S 13242 13242 4682 0 -1 1077944320 9336 0 0 0 46 4 0 0 20 0 20 0 97466708 26628161536 11589 33554432000 4194304 4196468 140725549409440 140725549391984 140112271199991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 /proc/13244/statm: 6501016 11589 3087 1 0 6488269 0 [pid=13244/tid=13245] ppid=13242 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13244/task/13245/stat : 13245 (java) R 13242 13242 4682 0 -1 4202560 6164 0 0 0 27 2 0 0 20 0 20 0 97466708 26628161536 11589 33554432000 4194304 4196468 140725549409440 140112275430000 140112255280478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13246] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13246/stat : 13246 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140112236481168 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13247] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13247/stat : 13247 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140111828535824 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13248] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13248/stat : 13248 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140111827483024 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13249] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13249/stat : 13249 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140111826430224 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13250] ppid=13242 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/13244/task/13250/stat : 13250 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140111825378448 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13251] ppid=13242 vsize=26004064 memory=140201422844847 CPUtime=0 cores=0-7 /proc/13244/task/13251/stat : 13251 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140111824325648 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13252] ppid=13242 vsize=26004064 memory=140201422847152 CPUtime=0 cores=0-7 /proc/13244/task/13252/stat : 13252 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140111823272848 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13253] ppid=13242 vsize=26004064 memory=140201422849456 CPUtime=0 cores=0-7 /proc/13244/task/13253/stat : 13253 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97466709 26628161536 11589 33554432000 4194304 4196468 140725549409440 140111822220048 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13254] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13254/stat : 13254 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97466710 26628161536 11589 33554432000 4194304 4196468 140725549409440 140110946040176 140112271211138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13255] ppid=13242 vsize=26004064 memory=280402845705872 CPUtime=0 cores=0-7 /proc/13244/task/13255/stat : 13255 (java) S 13242 13242 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97466711 26628161536 11589 33554432000 4194304 4196468 140725549409440 140110944986144 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13256] ppid=13242 vsize=26004064 memory=280402845712784 CPUtime=0 cores=0-7 /proc/13244/task/13256/stat : 13256 (java) S 13242 13242 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97466711 26628161536 11589 33554432000 4194304 4196468 140725549409440 140110943933296 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13257] ppid=13242 vsize=26004064 memory=280402845654064 CPUtime=0 cores=0-7 /proc/13244/task/13257/stat : 13257 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466714 26628161536 11654 33554432000 4194304 4196468 140725549409440 140110942881616 140112271218587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13258] ppid=13242 vsize=26004064 memory=280402845726608 CPUtime=0.01 cores=0-7 /proc/13244/task/13258/stat : 13258 (java) S 13242 13242 4682 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 97466714 26628161536 11654 33554432000 4194304 4196468 140725549409440 140110941830000 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13259] ppid=13242 vsize=26004064 memory=280402845733520 CPUtime=0.02 cores=0-7 /proc/13244/task/13259/stat : 13259 (java) S 13242 13242 4682 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 97466714 26628161536 11654 33554432000 4194304 4196468 140725549409440 140110940777200 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13260] ppid=13242 vsize=26004064 memory=280402845731216 CPUtime=0.02 cores=0-7 /proc/13244/task/13260/stat : 13260 (java) S 13242 13242 4682 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 97466714 26628161536 11654 33554432000 4194304 4196468 140725549409440 140110939724400 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13261] ppid=13242 vsize=26004064 memory=280402845747376 CPUtime=0.12 cores=0-7 /proc/13244/task/13261/stat : 13261 (java) S 13242 13242 4682 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 97466714 26628161536 11654 33554432000 4194304 4196468 140725549409440 140110938671600 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13262] ppid=13242 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13262/stat : 13262 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97466714 26628161536 11654 33554432000 4194304 4196468 140725549409440 140110937619040 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13263] ppid=13242 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13244/task/13263/stat : 13263 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97466714 26628161536 11654 33554432000 4194304 4196468 140725549409440 140110936566320 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47736 KiB [startup+0.705415 s] /proc/loadavg: 8.28 6.22 5.27 3/199 13263 /proc/meminfo: memFree=31458536/32770624 swapFree=67108860/67108860 [pid=13242] ppid=13239 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13242/stat : 13242 (xcsp3-exec) S 13239 13242 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97466708 9740288 345 33554432000 4194304 5098028 140724885724768 140724885722872 140345879671420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20918272 140724885726314 140724885726524 140724885726524 140724885729259 0 /proc/13242/statm: 2378 345 289 221 0 87 0 [pid=13244] ppid=13242 vsize=26538700 memory=101256 CPUtime=1.86 cores=0-7 /proc/13244/stat : 13244 (java) S 13242 13242 4682 0 -1 1077944320 13683 0 0 0 179 7 0 0 20 0 23 0 97466708 27175628800 25314 33554432000 4194304 4196468 140725549409440 140725549391984 140112271199991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 /proc/13244/statm: 6634675 25314 3208 1 0 6621909 0 [pid=13244/tid=13245] ppid=13242 vsize=26538700 memory=280402846105264 CPUtime=0.61 cores=0-7 /proc/13244/task/13245/stat : 13245 (java) S 13242 13242 4682 0 -1 1077944384 6974 0 0 0 58 3 0 0 20 0 24 0 97466708 27175628800 25314 33554432000 4194304 4196468 140725549409440 140112275440768 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13246] ppid=13242 vsize=26538700 memory=140201423053680 CPUtime=0 cores=0-7 /proc/13244/task/13246/stat : 13246 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140112236481168 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13247] ppid=13242 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13247/stat : 13247 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111828535824 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13248] ppid=13242 vsize=26538700 memory=4612 CPUtime=0 cores=0-7 /proc/13244/task/13248/stat : 13248 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111827483024 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13249] ppid=13242 vsize=26538700 memory=1428 CPUtime=0 cores=0-7 /proc/13244/task/13249/stat : 13249 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111826430224 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13250] ppid=13242 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/13244/task/13250/stat : 13250 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111825378448 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13251] ppid=13242 vsize=26538700 memory=15876 CPUtime=0 cores=0-7 /proc/13244/task/13251/stat : 13251 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111824325648 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13252] ppid=13242 vsize=26538700 memory=17920 CPUtime=0 cores=0-7 /proc/13244/task/13252/stat : 13252 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111823272848 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13253] ppid=13242 vsize=26538700 memory=4048 CPUtime=0 cores=0-7 /proc/13244/task/13253/stat : 13253 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111822220048 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13254] ppid=13242 vsize=26538700 memory=18488 CPUtime=0 cores=0-7 /proc/13244/task/13254/stat : 13254 (java) S 13242 13242 4682 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 25 0 97466710 27175628800 25314 33554432000 4194304 4196468 140725549409440 140110946040176 140112271211138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13255] ppid=13242 vsize=26538700 memory=1796 CPUtime=0 cores=0-7 /proc/13244/task/13255/stat : 13255 (java) S 13242 13242 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 25 0 97466711 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110944986144 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13256] ppid=13242 vsize=26538700 memory=1236 CPUtime=0 cores=0-7 /proc/13244/task/13256/stat : 13256 (java) S 13242 13242 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 26 0 97466711 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110943933296 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13257] ppid=13242 vsize=26538700 memory=640 CPUtime=0 cores=0-7 /proc/13244/task/13257/stat : 13257 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110942881616 140112271218587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13258] ppid=13242 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7 /proc/13244/task/13258/stat : 13258 (java) R 13242 13242 4682 0 -1 4202560 1210 0 0 0 19 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110941814864 140112248652480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13259] ppid=13242 vsize=26538700 memory=1716 CPUtime=0.22 cores=0-7 /proc/13244/task/13259/stat : 13259 (java) R 13242 13242 4682 0 -1 4202560 1318 0 0 0 21 1 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110940763520 140112271221338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13260] ppid=13242 vsize=26538700 memory=1948 CPUtime=0.16 cores=0-7 /proc/13244/task/13260/stat : 13260 (java) R 13242 13242 4682 0 -1 4202560 572 0 0 0 16 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110939711072 140112264296827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13261] ppid=13242 vsize=26538700 memory=8560 CPUtime=0.4 cores=0-7 /proc/13244/task/13261/stat : 13261 (java) R 13242 13242 4682 0 -1 4202560 1809 0 0 0 40 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110938669560 140112252610141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13262] ppid=13242 vsize=26538700 memory=1228 CPUtime=0 cores=0-7 /proc/13244/task/13262/stat : 13262 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110937619040 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13263] ppid=13242 vsize=26538700 memory=12028 CPUtime=0 cores=0-7 /proc/13244/task/13263/stat : 13263 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110936566320 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 Current children cumulated CPU time: 1.86 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 102636 KiB [startup+0.72361 s] # the end of solver process 13242 was just reported to runsolver # cumulated CPU time of all completed processes: user=1.80981 s, system=0.086548 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.705415 s] /proc/loadavg: 8.28 6.22 5.27 3/199 13263 /proc/meminfo: memFree=31458536/32770624 swapFree=67108860/67108860 [pid=13242] ppid=13239 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13242/stat : 13242 (xcsp3-exec) S 13239 13242 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97466708 9740288 345 33554432000 4194304 5098028 140724885724768 140724885722872 140345879671420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20918272 140724885726314 140724885726524 140724885726524 140724885729259 0 /proc/13242/statm: 2378 345 289 221 0 87 0 [pid=13244] ppid=13242 vsize=26538700 memory=101256 CPUtime=1.86 cores=0-7 /proc/13244/stat : 13244 (java) S 13242 13242 4682 0 -1 1077944320 13683 0 0 0 179 7 0 0 20 0 23 0 97466708 27175628800 25314 33554432000 4194304 4196468 140725549409440 140725549391984 140112271199991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 /proc/13244/statm: 6634675 25314 3208 1 0 6621909 0 [pid=13244/tid=13245] ppid=13242 vsize=26538700 memory=280402846105264 CPUtime=0.61 cores=0-7 /proc/13244/task/13245/stat : 13245 (java) S 13242 13242 4682 0 -1 1077944384 6974 0 0 0 58 3 0 0 20 0 24 0 97466708 27175628800 25314 33554432000 4194304 4196468 140725549409440 140112275440768 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13246] ppid=13242 vsize=26538700 memory=140201423053680 CPUtime=0 cores=0-7 /proc/13244/task/13246/stat : 13246 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140112236481168 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13247] ppid=13242 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13244/task/13247/stat : 13247 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111828535824 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13248] ppid=13242 vsize=26538700 memory=4612 CPUtime=0 cores=0-7 /proc/13244/task/13248/stat : 13248 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111827483024 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13249] ppid=13242 vsize=26538700 memory=1428 CPUtime=0 cores=0-7 /proc/13244/task/13249/stat : 13249 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111826430224 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13250] ppid=13242 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/13244/task/13250/stat : 13250 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111825378448 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13251] ppid=13242 vsize=26538700 memory=15876 CPUtime=0 cores=0-7 /proc/13244/task/13251/stat : 13251 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111824325648 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13252] ppid=13242 vsize=26538700 memory=17920 CPUtime=0 cores=0-7 /proc/13244/task/13252/stat : 13252 (java) S 13242 13242 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111823272848 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13253] ppid=13242 vsize=26538700 memory=4048 CPUtime=0 cores=0-7 /proc/13244/task/13253/stat : 13253 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 97466709 27175628800 25314 33554432000 4194304 4196468 140725549409440 140111822220048 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13254] ppid=13242 vsize=26538700 memory=18488 CPUtime=0 cores=0-7 /proc/13244/task/13254/stat : 13254 (java) S 13242 13242 4682 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 25 0 97466710 27175628800 25314 33554432000 4194304 4196468 140725549409440 140110946040176 140112271211138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13255] ppid=13242 vsize=26538700 memory=1796 CPUtime=0 cores=0-7 /proc/13244/task/13255/stat : 13255 (java) S 13242 13242 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 25 0 97466711 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110944986144 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13256] ppid=13242 vsize=26538700 memory=1236 CPUtime=0 cores=0-7 /proc/13244/task/13256/stat : 13256 (java) S 13242 13242 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 26 0 97466711 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110943933296 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13257] ppid=13242 vsize=26538700 memory=640 CPUtime=0 cores=0-7 /proc/13244/task/13257/stat : 13257 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110942881616 140112271218587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13258] ppid=13242 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7 /proc/13244/task/13258/stat : 13258 (java) R 13242 13242 4682 0 -1 4202560 1210 0 0 0 19 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110941814864 140112248652480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13259] ppid=13242 vsize=26538700 memory=1716 CPUtime=0.22 cores=0-7 /proc/13244/task/13259/stat : 13259 (java) R 13242 13242 4682 0 -1 4202560 1318 0 0 0 21 1 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110940763520 140112271221338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13260] ppid=13242 vsize=26538700 memory=1948 CPUtime=0.16 cores=0-7 /proc/13244/task/13260/stat : 13260 (java) R 13242 13242 4682 0 -1 4202560 572 0 0 0 16 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110939711072 140112264296827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13261] ppid=13242 vsize=26538700 memory=8560 CPUtime=0.4 cores=0-7 /proc/13244/task/13261/stat : 13261 (java) R 13242 13242 4682 0 -1 4202560 1809 0 0 0 40 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110938669560 140112252610141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13262] ppid=13242 vsize=26538700 memory=1228 CPUtime=0 cores=0-7 /proc/13244/task/13262/stat : 13262 (java) S 13242 13242 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110937619040 140112271210197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 [pid=13244/tid=13263] ppid=13242 vsize=26538700 memory=12028 CPUtime=0 cores=0-7 /proc/13244/task/13263/stat : 13263 (java) S 13242 13242 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 97466714 27175628800 25826 33554432000 4194304 4196468 140725549409440 140110936566320 140112271211138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33501184 140725549417624 140725549417800 140725549417800 140725549420495 0 Current children cumulated CPU time: 1.86 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 102636 KiB Child status: 0 Real time (s): 0.723654 CPU time (s): 1.89635 CPU user time (s): 1.80981 CPU system time (s): 0.086548 CPU usage (%): 262.052 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 102636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.8098 system time used= 0.086548 maximum resident set size= 116420 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14326 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= 2959 involuntary context switches= 29 # summary of solver processes directly reported to runsolver: # pid: 13242 # total CPU time (s): 1.89635 # total CPU user time (s): 1.80981 # total CPU system time (s): 0.086548 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.026548 second user time and 0.047911 second system time The end
Begin job on node106 at 2017-08-13 18:48:51 IDJOB=4271707 IDBENCH=130044 IDSOLVER=2663 FILE ID=node106/4271707-1502643789 RUNJOBID= node106-1502637338-4709 PBS_JOBID= 20628329 Free space on /tmp= 61772 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-40-08.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-4271707-1502643789/watcher-4271707-1502643789 -o /tmp/evaluation-result-4271707-1502643789/solver-4271707-1502643789 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1371688403 HOME/instance-4271707-1502643789.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a1a47bf7c0dfac46ae24643a1dca38e9 RANDOM SEED=1371688403 node106.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.86 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.86 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.86 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.86 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: 31509856 kB MemAvailable: 31985852 kB Buffers: 116316 kB Cached: 647380 kB SwapCached: 0 kB Active: 428612 kB Inactive: 391624 kB Active(anon): 12368 kB Inactive(anon): 72092 kB Active(file): 416244 kB Inactive(file): 319532 kB Unevictable: 6504 kB Mlocked: 6504 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7832 kB Writeback: 8 kB AnonPages: 62832 kB Mapped: 43564 kB Shmem: 25228 kB Slab: 137860 kB SReclaimable: 112108 kB SUnreclaim: 25752 kB KernelStack: 3232 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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= 61764 MiB End job on node106 at 2017-08-13 18:48:52