Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | UNSAT | 194.957 | 195 |
Name | Scheduling/Scheduling-xcsp2-cabinet/ Cabinet-5580_X2.xml |
MD5SUM | c1d9bbd499a467fa3c210b9e0bab246a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.661475 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 126 |
Number of domains | 46 |
Minimum domain size | 2 |
Maximum domain size | 84591 |
Distribution of domain sizes | [{"size":2,"count":98},{"size":7,"count":14},{"size":5580,"count":1},{"size":24829,"count":2},{"size":44731,"count":4},{"size":84591,"count":1}] |
Minimum variable degree | 1 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":98},{"degree":3,"count":7},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":1,"count":7},{"arity":2,"count":111},{"arity":8,"count":1},{"arity":15,"count":7}] |
Number of extensional constraints | 98 |
Number of intensional constraints | 20 |
Distribution of constraint types | [{"type":"extension","count":98},{"type":"intension","count":20},{"type":"sum","count":7},{"type":"maximum","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.02 c intension x0 != x7 using generic constraint 0.00/0.02 c intension x0 != x10 using generic constraint 0.00/0.02 c intension x0 != x13 using generic constraint 0.00/0.02 c intension x1 != x8 using generic constraint 0.00/0.03 c intension x1 != x10 using generic constraint 0.00/0.03 c intension x2 != x10 using generic constraint 0.00/0.03 c intension x3 != x9 using generic constraint 0.00/0.03 c intension x4 != x7 using generic constraint 0.00/0.03 c intension x4 != x9 using generic constraint 0.00/0.03 c intension x4 != x10 using generic constraint 0.00/0.03 c intension x4 != x13 using generic constraint 0.00/0.04 c intension x5 != x13 using generic constraint 0.00/0.04 c intension x7 != x8 using generic constraint 0.00/0.07 c root propagations : 274141 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c This is cosoco 1.0 -- 0.00/0.07 c 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.05 s 0.00/0.07 c | 0.00/0.07 c | Variables: 120 0.00/0.07 c | Domain Sizes: 2..84591 0.00/0.07 c | 0.00/0.07 c | Constraints: 126 0.00/0.07 c | Arity: 1..15 -- Unary: 7 -- Binary: 111 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | (X != Y): 13 0.00/0.07 c | Extension: 98 (nb tuples: 7..7) -- (shared: 4) 0.00/0.07 c | Intension: 7 0.00/0.07 c | Minimum Variable: 1 0.00/0.07 c | Sum: 7 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.19/0.21 c 101 1335 20956 2627073 27 0 55 103 76 0.39/0.41 c 211 2868 46799 6977951 27 0 32 98 65 0.49/0.52 c 332 3915 61743 9123428 27 0 39 94 66 0.49/0.57 c 465 4413 67631 9651475 27 0 50 88 67 0.59/0.61 c 611 4772 71045 9954834 27 0 50 83 62 0.59/0.66 c 771 5088 73648 10167602 27 0 42 73 42 0.69/0.72 c 947 5264 74380 10170960 28 0 1 1 0 0.69/0.78 c 1140 5457 75152 10174627 28 0 1 1 0 0.79/0.85 c 1352 5669 76034 10178621 28 0 1 1 0 0.89/0.95 c 1585 5902 81017 10184469 28 0 1 1 0 0.99/1.07 c 1841 6158 88833 10191272 28 0 1 1 0 1.10/1.19 c 2122 6439 97037 10197845 28 0 1 1 0 1.29/1.32 c 2431 6748 105648 10204252 28 0 1 1 0 1.39/1.45 c 2770 7087 114692 10210475 28 0 1 1 0 1.59/1.64 c 3142 7459 122467 11731418 28 0 1 1 0 1.79/1.85 c 3551 7868 130238 14024272 28 0 1 1 0 1.99/2.03 c 4000 8317 139914 15260569 28 0 1 1 0 2.09/2.18 c 4493 8810 151746 15266978 28 0 1 1 0 2.39/2.43 c 5035 11246 182475 18164764 28 0 1 92 55 2.59/2.61 c 5631 12636 194568 19160763 28 0 32 83 36 2.79/2.89 c 6286 14631 224644 22857623 28 0 53 76 59 3.30/3.35 c 7006 17941 282834 30550327 28 0 47 71 59 3.59/3.62 c 7798 20311 306461 33104318 28 0 51 71 54 4.09/4.15 c 8669 24510 366265 41464494 28 0 42 80 47 4.50/4.59 c 9627 27501 414458 47278108 28 0 41 72 59 4.69/4.79 c 10680 29876 438023 49387661 28 0 35 93 68 5.09/5.13 c 11838 33041 467115 52063113 28 0 40 71 42 5.69/5.70 c 13111 41336 524700 57418549 28 0 1 71 21 6.49/6.50 c 14511 49167 621943 69831563 28 0 37 70 47 6.89/6.94 c 16051 51188 636723 70792262 28 0 1 54 16 7.39/7.48 c 17745 52882 669641 70827864 28 0 1 1 0 7.99/8.07 c 19608 54745 710861 72420936 28 0 1 1 0 8.90/8.95 c 21657 60713 802325 83763400 28 0 1 74 54 10.19/10.23 c 23910 69199 949064 103258979 28 0 1 72 38 11.29/11.31 c 26388 78256 1094006 122702783 28 0 1 92 54 13.19/13.30 c 29113 97574 1390617 158748865 28 0 18 89 55 14.39/14.42 c 32110 108796 1547694 176790751 28 0 38 92 66 14.79/14.85 c 35406 112581 1602054 182117569 28 0 35 94 65 16.59/16.60 c 39031 124048 1792242 208376758 28 0 1 90 53 19.29/19.38 c 43018 145417 2216830 254911639 28 0 20 94 48 20.79/20.83 c 47403 154653 2440213 275076994 28 0 1 95 54 22.29/22.34 c 52226 167655 2676946 297214655 28 0 51 89 65 24.99/25.06 c 57531 200516 3167924 339143706 28 0 1 90 49 26.28/26.31 c 63366 206525 3288805 346458069 28 0 47 87 50 27.98/28.01 c 69784 217984 3493385 362051124 28 0 38 88 49 29.69/29.75 c 76843 236581 3744657 381636236 28 0 30 89 65 31.99/32.06 c 84607 264393 4191307 406133381 28 0 1 89 56 34.38/34.42 c 93147 273617 4447598 430908765 28 0 46 89 51 36.39/36.47 c 102541 298207 4851025 443407265 28 0 1 89 53 38.59/38.61 c 112874 310884 5110470 452499822 28 0 21 88 65 42.08/42.17 c 124240 349919 5741745 499094147 28 0 25 89 45 45.28/45.36 c 136742 365155 6116690 525737731 28 0 43 89 62 49.88/49.91 c 150494 414998 6978432 585342744 28 0 19 90 65 55.58/55.67 c 165621 448643 7705148 670877780 28 0 42 87 67 60.38/60.44 c 182260 509145 8710568 728646827 28 0 29 90 71 64.08/64.19 c 200562 533708 9163044 771865373 28 0 50 87 66 69.28/69.38 c 220694 604597 10171900 825408064 28 0 25 90 69 74.07/74.11 c 242839 633500 10737418 879107664 30 0 1 90 60 80.07/80.10 c 267198 678956 11567069 963410868 30 0 35 90 67 84.47/84.59 c 293992 715177 12212552 1021957972 30 0 31 90 63 91.97/92.03 c 323465 768740 13351529 1120626356 30 0 36 91 58 97.88/97.99 c 355885 808318 14100494 1200137088 30 0 21 90 64 105.17/105.27 c 391547 856434 14880771 1280728112 30 0 35 88 61 112.57/112.68 c 430775 912160 15920530 1383673656 32 0 1 89 66 119.66/119.70 c 473925 974351 17056892 1455799164 32 0 17 88 61 128.26/128.37 c 521390 1038735 18385218 1551870551 32 0 1 89 61 137.66/137.73 c 573601 1107410 19780485 1676049398 32 0 34 89 66 146.96/147.07 c 631033 1193697 21356885 1806802598 33 0 1 90 66 156.66/156.77 c 694208 1269416 22747384 1936884354 34 0 25 91 67 173.55/173.66 c 763700 1394850 25290531 2175314163 34 0 1 91 58 192.05/192.18 c 840141 1501587 28027480 2434240728 43 0 23 91 59 194.85/194.99 c restarts : 71 194.85/194.99 c conflicts : 851345 (4367 /sec) 194.85/194.99 c decisions : 1516478 (7779 /sec) 194.85/194.99 c propagations : 2478122099 (12711457 /sec) 194.85/194.99 c root propagations : 274141 194.85/194.99 c filter calls : 28433404 (145848 /sec) 194.85/194.99 c useless filter calls : 18629243 (65 %) 194.85/194.99 c Memory used : 35.26 MB 194.85/194.99 c CPU time : 194.952 s 194.85/194.99 194.85/194.99 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239804-1500623782/watcher-4239804-1500623782 -o /tmp/evaluation-result-4239804-1500623782/solver-4239804-1500623782 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239804-1500623782.xml pid=17929 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.00 0.01 0.05 2/242 17932 /proc/meminfo: memFree=31773684/32770624 swapFree=6264/273612 [pid=17932] ppid=17929 vsize=29592 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 1660 0 0 0 1 0 0 0 20 0 1 0 15657074 30302208 1493 33554432000 4194304 5970956 140726303456528 140726303453176 140348915244716 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 7398 1493 756 434 0 762 0 [startup+0.100147 s] /proc/loadavg: 0.00 0.01 0.05 2/242 17932 /proc/meminfo: memFree=31773684/32770624 swapFree=6264/273612 [pid=17932] ppid=17929 vsize=35944 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 3312 0 0 0 9 0 0 0 20 0 1 0 15657074 36806656 3143 33554432000 4194304 5970956 140726303456528 140726303453448 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3143 834 434 0 2350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35944 [startup+0.200329 s] /proc/loadavg: 0.00 0.01 0.05 2/242 17932 /proc/meminfo: memFree=31773684/32770624 swapFree=6264/273612 [pid=17932] ppid=17929 vsize=35944 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 3316 0 0 0 19 0 0 0 20 0 1 0 15657074 36806656 3143 33554432000 4194304 5970956 140726303456528 140726303453448 5108526 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3143 834 434 0 2350 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 35944 [startup+0.300232 s] /proc/loadavg: 0.00 0.01 0.05 2/242 17932 /proc/meminfo: memFree=31773684/32770624 swapFree=6264/273612 [pid=17932] ppid=17929 vsize=35944 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 3321 0 0 0 29 0 0 0 20 0 1 0 15657074 36806656 3143 33554432000 4194304 5970956 140726303456528 140726303453864 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3143 834 434 0 2350 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35944 [startup+0.70021 s] /proc/loadavg: 0.00 0.01 0.05 2/242 17932 /proc/meminfo: memFree=31773684/32770624 swapFree=6264/273612 [pid=17932] ppid=17929 vsize=35944 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 3323 0 0 0 69 0 0 0 20 0 1 0 15657074 36806656 3143 33554432000 4194304 5970956 140726303456528 140726303453864 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3143 834 434 0 2350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35944 [startup+1.50022 s] /proc/loadavg: 0.16 0.05 0.06 3/243 17933 /proc/meminfo: memFree=31725780/32770624 swapFree=6264/273608 [pid=17932] ppid=17929 vsize=35944 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 3323 0 0 0 149 0 0 0 20 0 1 0 15657074 36806656 3143 33554432000 4194304 5970956 140726303456528 140726303453864 5098896 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3143 834 434 0 2350 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35944 [startup+3.10021 s] /proc/loadavg: 0.16 0.05 0.06 3/243 17933 /proc/meminfo: memFree=31708644/32770624 swapFree=6264/273596 [pid=17932] ppid=17929 vsize=35944 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 3840 0 0 0 309 0 0 0 20 0 1 0 15657074 36806656 3164 33554432000 4194304 5970956 140726303456528 140726303453864 5093206 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3164 838 434 0 2350 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35944 [startup+6.3002 s] /proc/loadavg: 0.16 0.05 0.06 3/243 17933 /proc/meminfo: memFree=31703892/32770624 swapFree=6264/273600 [pid=17932] ppid=17929 vsize=35944 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 4390 0 0 0 629 0 0 0 20 0 1 0 15657074 36806656 3165 33554432000 4194304 5970956 140726303456528 140726303453864 5322320 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3165 838 434 0 2350 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35944 [startup+12.7002 s] /proc/loadavg: 0.45 0.11 0.08 3/243 17933 /proc/meminfo: memFree=31700476/32770624 swapFree=6264/273608 [pid=17932] ppid=17929 vsize=35944 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 4991 0 0 0 1269 0 0 0 20 0 1 0 15657074 36806656 3167 33554432000 4194304 5970956 140726303456528 140726303453864 5093190 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3167 838 434 0 2350 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35944 [startup+25.5003 s] /proc/loadavg: 0.68 0.17 0.10 3/243 17933 /proc/meminfo: memFree=31699012/32770624 swapFree=6264/273624 [pid=17932] ppid=17929 vsize=35944 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 6058 0 0 0 2549 0 0 0 20 0 1 0 15657074 36806656 3173 33554432000 4194304 5970956 140726303456528 140726303453864 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3173 838 434 0 2350 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35944 [startup+51.1003 s] /proc/loadavg: 1.20 0.35 0.16 3/243 17933 /proc/meminfo: memFree=31697164/32770624 swapFree=6264/273656 [pid=17932] ppid=17929 vsize=35944 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 6578 0 0 0 5108 0 0 0 20 0 1 0 15657074 36806656 3177 33554432000 4194304 5970956 140726303456528 140726303453864 4964821 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3177 838 434 0 2350 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35944 [startup+102.3 s] /proc/loadavg: 1.65 0.60 0.25 3/243 17935 /proc/meminfo: memFree=31694992/32770624 swapFree=6264/273740 [pid=17932] ppid=17929 vsize=35944 CPUtime=102.27 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7040 0 0 0 10227 0 0 0 20 0 1 0 15657074 36806656 3178 33554432000 4194304 5970956 140726303456528 140726303453864 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3178 838 434 0 2350 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35944 [startup+162.3 s] /proc/loadavg: 1.87 0.86 0.36 3/243 17936 /proc/meminfo: memFree=31693124/32770624 swapFree=6264/273824 [pid=17932] ppid=17929 vsize=35944 CPUtime=162.25 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7495 0 0 0 16225 0 0 0 20 0 1 0 15657074 36806656 3182 33554432000 4194304 5970956 140726303456528 140726303453864 5038302 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 8986 3182 838 434 0 2350 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35944 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17932 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+179.2 s] /proc/loadavg: 1.90 0.91 0.39 3/243 17936 /proc/meminfo: memFree=31692276/32770624 swapFree=6264/273844 [pid=17932] ppid=17929 vsize=36100 CPUtime=179.15 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7804 0 0 0 17915 0 0 0 20 0 1 0 15657074 36966400 3185 33554432000 4194304 5970956 140726303456528 140726303453896 5039152 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3185 839 434 0 2389 0 Current children cumulated CPU time (s) 179.15 Current children cumulated vsize (KiB) 36100 [startup+185.6 s] /proc/loadavg: 1.91 0.93 0.40 3/243 17937 /proc/meminfo: memFree=31692116/32770624 swapFree=6264/273860 [pid=17932] ppid=17929 vsize=36100 CPUtime=185.55 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7951 0 0 0 18555 0 0 0 20 0 1 0 15657074 36966400 3188 33554432000 4194304 5970956 140726303456528 140726303453896 5322320 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3188 839 434 0 2389 0 Current children cumulated CPU time (s) 185.55 Current children cumulated vsize (KiB) 36100 [startup+188.8 s] /proc/loadavg: 1.92 0.95 0.41 3/243 17937 /proc/meminfo: memFree=31692116/32770624 swapFree=6264/273868 [pid=17932] ppid=17929 vsize=36100 CPUtime=188.75 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7951 0 0 0 18875 0 0 0 20 0 1 0 15657074 36966400 3188 33554432000 4194304 5970956 140726303456528 140726303453896 5322320 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3188 839 434 0 2389 0 Current children cumulated CPU time (s) 188.75 Current children cumulated vsize (KiB) 36100 [startup+192 s] /proc/loadavg: 1.92 0.97 0.42 3/243 17937 /proc/meminfo: memFree=31691992/32770624 swapFree=6264/273868 [pid=17932] ppid=17929 vsize=36100 CPUtime=191.95 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7951 0 0 0 19195 0 0 0 20 0 1 0 15657074 36966400 3188 33554432000 4194304 5970956 140726303456528 140726303453896 5322311 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3188 839 434 0 2389 0 Current children cumulated CPU time (s) 191.95 Current children cumulated vsize (KiB) 36100 [startup+193.6 s] /proc/loadavg: 1.92 0.97 0.42 3/243 17937 /proc/meminfo: memFree=31691992/32770624 swapFree=6264/273868 [pid=17932] ppid=17929 vsize=36100 CPUtime=193.56 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7960 0 0 0 19356 0 0 0 20 0 1 0 15657074 36966400 3188 33554432000 4194304 5970956 140726303456528 140726303453864 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3188 839 434 0 2389 0 Current children cumulated CPU time (s) 193.56 Current children cumulated vsize (KiB) 36100 [startup+194.4 s] /proc/loadavg: 1.92 0.97 0.42 3/243 17937 /proc/meminfo: memFree=31691992/32770624 swapFree=6264/273868 [pid=17932] ppid=17929 vsize=36100 CPUtime=194.35 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7960 0 0 0 19435 0 0 0 20 0 1 0 15657074 36966400 3188 33554432000 4194304 5970956 140726303456528 140726303453864 5009024 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3188 839 434 0 2389 0 Current children cumulated CPU time (s) 194.35 Current children cumulated vsize (KiB) 36100 [startup+194.807 s] /proc/loadavg: 1.92 0.97 0.42 3/243 17937 /proc/meminfo: memFree=31691992/32770624 swapFree=6264/273872 [pid=17932] ppid=17929 vsize=36100 CPUtime=194.76 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7960 0 0 0 19476 0 0 0 20 0 1 0 15657074 36966400 3188 33554432000 4194304 5970956 140726303456528 140726303453864 5319840 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3188 839 434 0 2389 0 Current children cumulated CPU time (s) 194.76 Current children cumulated vsize (KiB) 36100 [startup+194.9 s] /proc/loadavg: 1.92 0.97 0.42 3/243 17937 /proc/meminfo: memFree=31691992/32770624 swapFree=6264/273872 [pid=17932] ppid=17929 vsize=36100 CPUtime=194.85 cores=1,3,5,7,9,11,13,15 /proc/17932/stat : 17932 (cosoco) R 17929 17932 17739 0 -1 4202496 7960 0 0 0 19485 0 0 0 20 0 1 0 15657074 36966400 3188 33554432000 4194304 5970956 140726303456528 140726303453864 5009197 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 21807104 140726303462593 140726303462723 140726303462723 140726303465422 0 /proc/17932/statm: 9025 3188 839 434 0 2389 0 Current children cumulated CPU time (s) 194.85 Current children cumulated vsize (KiB) 36100 Child status: 0 Real time (s): 195 CPU time (s): 194.957 CPU user time (s): 194.952 CPU system time (s): 0.004999 CPU usage (%): 99.9782 Max. virtual memory (cumulated for all children) (KiB): 36100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 194.952 system time used= 0.004999 maximum resident set size= 12820 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7997 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 9827 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.580037 second user time and 0.880496 second system time The end
Begin job on node116 at 2017-07-21 09:56:22 IDJOB=4239804 IDBENCH=115703 IDSOLVER=2620 FILE ID=node116/4239804-1500623782 RUNJOBID= node116-1500623779-17771 PBS_JOBID= 20623015 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Scheduling/Scheduling-xcsp2-cabinet/Cabinet-5580_X2.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239804-1500623782/watcher-4239804-1500623782 -o /tmp/evaluation-result-4239804-1500623782/solver-4239804-1500623782 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239804-1500623782.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c1d9bbd499a467fa3c210b9e0bab246a RANDOM SEED=660460079 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31774864 kB MemAvailable: 31991288 kB Buffers: 154400 kB Cached: 343108 kB SwapCached: 0 kB Active: 276304 kB Inactive: 282396 kB Active(anon): 64092 kB Inactive(anon): 8788 kB Active(file): 212212 kB Inactive(file): 273608 kB Unevictable: 6264 kB Mlocked: 6272 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4928 kB Writeback: 4 kB AnonPages: 67864 kB Mapped: 34172 kB Shmem: 8848 kB Slab: 125260 kB SReclaimable: 92876 kB SUnreclaim: 32384 kB KernelStack: 4192 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node116 at 2017-07-21 09:59:37