Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.02 | 2519.8 |
Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-07-0080.xml |
MD5SUM | 9b203975fed1c25a0b87c4f345706814 |
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 | 139.896 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 46 |
Number of domains | 1 |
Minimum domain size | 127 |
Maximum domain size | 127 |
Distribution of domain sizes | [{"size":127,"count":127}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 127 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c root propagations : 2961 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389589-1568341420.xml 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 169 0.00/0.01 c | Domain Sizes: 127..127 0.00/0.01 c | 0.00/0.01 c | Constraints: 46 0.00/0.01 c | Arity: 2..127 -- Binary: 6 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | (X - Y < k): 6 0.00/0.01 c | All Different: 1 0.00/0.01 c | Sum: 39 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[0][7] 0.00/0.01 c remove useless variable x[0][8] 0.00/0.01 c remove useless variable x[0][9] 0.00/0.01 c remove useless variable x[0][10] 0.00/0.01 c remove useless variable x[0][11] 0.00/0.01 c remove useless variable x[0][12] 0.00/0.01 c remove useless variable x[1][8] 0.00/0.01 c remove useless variable x[1][9] 0.00/0.01 c remove useless variable x[1][10] 0.00/0.01 c remove useless variable x[1][11] 0.00/0.01 c remove useless variable x[1][12] 0.00/0.01 c remove useless variable x[2][9] 0.00/0.01 c remove useless variable x[2][10] 0.00/0.01 c remove useless variable x[2][11] 0.00/0.01 c remove useless variable x[2][12] 0.00/0.01 c remove useless variable x[3][10] 0.00/0.01 c remove useless variable x[3][11] 0.00/0.01 c remove useless variable x[3][12] 0.00/0.01 c remove useless variable x[4][11] 0.00/0.01 c remove useless variable x[4][12] 0.00/0.01 c remove useless variable x[5][12] 0.00/0.01 c remove useless variable x[7][12] 0.00/0.01 c remove useless variable x[8][11] 0.00/0.01 c remove useless variable x[8][12] 0.00/0.01 c remove useless variable x[9][10] 0.00/0.01 c remove useless variable x[9][11] 0.00/0.01 c remove useless variable x[9][12] 0.00/0.01 c remove useless variable x[10][9] 0.00/0.01 c remove useless variable x[10][10] 0.00/0.01 c remove useless variable x[10][11] 0.00/0.01 c remove useless variable x[10][12] 0.00/0.01 c remove useless variable x[11][8] 0.00/0.01 c remove useless variable x[11][9] 0.00/0.01 c remove useless variable x[11][10] 0.00/0.01 c remove useless variable x[11][11] 0.00/0.01 c remove useless variable x[11][12] 0.00/0.01 c remove useless variable x[12][7] 0.00/0.01 c remove useless variable x[12][8] 0.00/0.01 c remove useless variable x[12][9] 0.00/0.01 c remove useless variable x[12][10] 0.00/0.01 c remove useless variable x[12][11] 0.00/0.01 c remove useless variable x[12][12] 0.00/0.02 c 101 120 2186 35057 36 0 1 5 3 0.00/0.06 c 211 261 8099 93242 36 0 1 8 3 0.00/0.11 c 332 418 14422 157724 36 0 1 8 3 0.10/0.14 c 465 609 19131 196403 36 0 4 8 7 0.10/0.19 c 611 813 25551 255065 36 0 2 8 5 0.10/0.21 c 771 1008 28547 308990 36 0 1 6 4 0.21/0.27 c 947 1239 37606 396872 36 0 1 8 3 0.21/0.31 c 1140 1475 41152 453381 36 0 1 6 4 0.31/0.38 c 1352 1756 51177 548784 36 0 1 8 4 0.31/0.42 c 1585 2040 55298 610311 36 0 1 6 4 0.41/0.49 c 1841 2412 65069 701816 36 0 2 8 6 0.51/0.57 c 2122 2793 77266 815896 36 0 1 8 5 0.60/0.67 c 2431 3240 89687 935819 36 0 2 8 6 0.69/0.73 c 2770 3655 95591 1022230 36 0 2 5 4 0.79/0.83 c 3142 4150 104769 1193151 36 0 1 6 4 0.89/0.92 c 3551 4694 116502 1290939 36 0 2 8 7 1.00/1.05 c 4000 5300 126857 1479265 36 0 3 7 5 1.10/1.19 c 4493 6011 145341 1654230 36 0 2 8 6 1.29/1.31 c 5035 6739 160344 1781547 36 0 2 8 7 1.39/1.46 c 5631 7542 173573 2015714 36 0 3 10 6 1.59/1.65 c 6286 8471 198930 2265160 36 0 1 8 5 1.79/1.85 c 7006 9494 225903 2533494 36 0 1 8 6 2.00/2.05 c 7798 10624 251258 2768081 36 0 2 8 7 2.19/2.28 c 8669 11872 281957 3032846 36 0 1 8 6 2.49/2.54 c 9627 13257 315609 3327847 36 0 1 8 6 2.79/2.81 c 10680 14757 350869 3652176 36 0 1 8 6 3.00/3.02 c 11838 16194 370576 4060160 36 0 4 8 6 3.19/3.28 c 13111 17781 392845 4552989 36 0 4 8 6 3.49/3.51 c 14511 19462 414878 4893695 36 0 2 7 5 3.79/3.80 c 16051 21371 441471 5450677 36 0 4 9 6 4.10/4.13 c 17745 23418 475729 6057926 36 0 1 10 7 4.39/4.49 c 19608 25651 518103 6671385 36 0 4 10 7 4.79/4.85 c 21657 28226 563191 7142984 36 0 2 8 7 5.19/5.22 c 23910 30952 598071 7824271 36 0 5 10 8 5.59/5.67 c 26388 33927 646812 8823417 36 0 4 11 9 6.19/6.23 c 29113 37301 707313 10018187 36 0 4 11 8 6.79/6.83 c 32110 40982 758234 11016956 36 0 1 8 6 7.29/7.37 c 35406 44818 820315 12358875 36 0 4 11 9 8.00/8.07 c 39031 49226 879406 13504721 36 0 3 8 6 8.69/8.75 c 43018 53881 959515 15226958 36 0 4 11 9 9.59/9.67 c 47403 59291 1033924 16727428 36 0 3 8 6 10.39/10.44 c 52226 64827 1129149 18680844 36 0 4 11 10 11.39/11.41 c 57531 71362 1218747 20700531 36 0 4 13 9 12.59/12.67 c 63366 78839 1333993 22451211 36 0 2 10 7 14.10/14.19 c 69784 87205 1499636 25238830 36 0 3 11 8 15.69/15.77 c 76843 96257 1667307 27913546 36 0 3 11 8 17.29/17.31 c 84607 105764 1795106 30492152 36 0 2 8 6 19.29/19.39 c 93147 116600 1961582 35086903 36 0 5 10 7 21.39/21.40 c 102541 128403 2128872 38588960 36 0 5 8 6 23.79/23.88 c 112874 141498 2335322 43635967 36 0 5 11 7 26.49/26.58 c 124240 155852 2559346 48679430 36 0 5 11 7 28.50/28.51 c 136742 170648 2748103 51706956 36 0 4 9 7 31.70/31.75 c 150494 188107 3030491 58484948 36 0 5 11 8 34.11/34.13 c 165621 206042 3260256 62194646 36 0 4 9 7 38.01/38.02 c 182260 227134 3587658 69446943 36 0 5 11 8 41.01/41.04 c 200562 249205 3860055 74659789 36 0 1 10 8 44.90/44.97 c 220694 274214 4199733 81273520 36 0 4 12 9 49.70/49.71 c 242839 302110 4599327 89700159 36 0 4 12 9 54.70/54.76 c 267198 332525 5032801 99161545 36 0 4 12 8 59.90/59.94 c 293992 364903 5493270 107865748 36 0 1 10 8 65.60/65.68 c 323465 401391 6010509 118785739 36 0 4 10 8 72.70/72.75 c 355885 442076 6613515 131364790 36 0 4 12 9 80.20/80.29 c 391547 486506 7251186 144633445 36 0 4 12 9 88.70/88.74 c 430775 535526 7990042 160058608 36 0 4 13 8 96.80/96.83 c 473925 588757 8687778 173603258 36 0 2 10 8 106.60/106.68 c 521390 647569 9611212 193084344 36 0 3 11 8 117.40/117.47 c 573601 712165 10586248 213063211 36 0 3 11 8 129.50/129.54 c 631033 783276 11700335 236153946 36 0 3 11 8 144.30/144.35 c 694208 863241 13045037 263301102 36 0 3 12 8 158.51/158.54 c 763700 948632 14361642 290544476 36 0 3 11 8 174.02/174.05 c 840141 1042079 15730909 318947023 36 0 3 11 8 190.41/190.48 c 924226 1144107 17256526 349057301 36 0 3 11 8 209.31/209.33 c 1016719 1257613 18936565 383285243 36 0 3 12 8 227.71/227.70 c 1118461 1379808 20644936 412744891 36 0 1 10 8 251.71/251.74 c 1230377 1517680 22766305 462730060 36 0 3 12 8 277.03/277.02 c 1353484 1668473 24971058 510332458 36 0 4 13 8 303.72/303.72 c 1488901 1833399 27428574 558641110 36 0 3 11 8 329.22/329.24 c 1637859 2011864 29700110 601339716 36 0 3 10 8 360.82/360.87 c 1801712 2210642 32545214 653671391 36 0 2 10 8 397.83/397.89 c 1981950 2432422 35777230 722510198 36 0 3 12 8 437.73/437.74 c 2180211 2676217 39314635 794918535 36 0 3 13 8 483.63/483.60 c 2398298 2945330 43280485 878583443 36 0 3 12 8 533.54/533.52 c 2638193 3238483 47457964 959466232 36 0 1 12 8 576.74/576.70 c 2902077 3552136 52339142 1062779961 36 0 2 13 11 625.85/625.83 c 3192349 3909782 57415295 1170078645 36 0 5 13 11 685.25/685.26 c 3511648 4301972 63371128 1282914267 36 0 3 13 10 759.56/759.59 c 3862876 4747170 70294655 1461783533 36 0 4 13 10 820.76/820.72 c 4249226 5210979 76920673 1585774666 36 0 3 13 11 893.67/893.65 c 4674211 5724322 84584959 1744946745 36 0 3 13 11 974.88/974.89 c 5141694 6276397 92497254 1889723918 36 0 2 12 8 1063.68/1063.64 c 5655925 6895334 101627387 2093319685 36 0 4 13 11 1184.59/1184.51 c 6221579 7616470 112322461 2310253929 36 0 4 13 10 1295.60/1295.52 c 6843798 8369784 122383426 2522288093 36 0 4 13 10 1423.31/1423.30 c 7528238 9222288 135349416 2773956702 36 0 3 13 10 1563.03/1562.97 c 8281122 10149416 148360060 3051345324 36 0 4 13 10 1712.25/1712.13 c 9109294 11165368 164046063 3421874328 36 0 3 13 11 1871.75/1871.64 c 10020283 12303040 180355226 3736524932 36 0 4 13 10 2068.48/2068.33 c 11022370 13529593 197273423 4093789183 36 0 4 13 9 2278.60/2278.48 c 12124665 14912159 217939440 4569732810 36 0 4 13 11 2497.52/2497.36 c 13337189 16386724 238270221 4996263149 36 0 4 13 11 2520.02/2519.80 2520.02/2519.80 c *** INTERRUPTED *** 2520.02/2519.80 c restarts : 100 2520.02/2519.80 c conflicts : 13457930 (5340 /sec) 2520.02/2519.80 c decisions : 16541687 (6564 /sec) 2520.02/2519.80 c propagations : 5045032699 (2001986 /sec) 2520.02/2519.80 c root propagations : 2961 2520.02/2519.80 c filter calls : 240494244 (95434 /sec) 2520.02/2519.80 c useless filter calls : 183092093 (76 %) 2520.02/2519.80 c Memory used : 26.98 MB 2520.02/2519.80 c CPU time : 2520.01 s 2520.02/2519.80 c real time : 2519.8 s 2520.02/2519.80 2520.02/2519.80 s UNKNOWN
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: 16375 MiB (13450 MiB free) memory of node 1: 16384 MiB (15687 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389589-1568341420/watcher-4389589-1568341420 -o /tmp/evaluation-result-4389589-1568341420/solver-4389589-1568341420 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389589-1568341420.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=12342, runsolver pid=12339 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 2.15 2.14 2.10 3/200 12343 /proc/meminfo: memFree=29835920/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4216 CPUtime=0.1 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1223 0 0 0 10 0 0 0 20 0 1 0 410083710 28286976 1054 33554432000 4194304 6210612 140729376001984 140729375998520 5149318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1054 879 493 0 211 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4216 KiB [startup+0.21058 s]* /proc/loadavg: 2.15 2.14 2.10 3/200 12343 /proc/meminfo: memFree=29835920/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4216 CPUtime=0.21 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1223 0 0 0 21 0 0 0 20 0 1 0 410083710 28286976 1054 33554432000 4194304 6210612 140729376001984 140729375998520 5081075 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1054 879 493 0 211 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4216 KiB [startup+0.310138 s]* /proc/loadavg: 2.15 2.14 2.10 3/200 12343 /proc/meminfo: memFree=29835920/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4216 CPUtime=0.31 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1223 0 0 0 31 0 0 0 20 0 1 0 410083710 28286976 1054 33554432000 4194304 6210612 140729376001984 140729375998520 5149318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1054 879 493 0 211 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4216 KiB [startup+0.700284 s] /proc/loadavg: 2.15 2.14 2.10 3/200 12343 /proc/meminfo: memFree=29835920/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4216 CPUtime=0.69 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1223 0 0 0 69 0 0 0 20 0 1 0 410083710 28286976 1054 33554432000 4194304 6210612 140729376001984 140729375999944 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1054 879 493 0 211 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4216 KiB [startup+1.50029 s] /proc/loadavg: 2.15 2.14 2.10 3/200 12343 /proc/meminfo: memFree=29835968/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4216 CPUtime=1.49 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1223 0 0 0 149 0 0 0 20 0 1 0 410083710 28286976 1054 33554432000 4194304 6210612 140729376001984 140729375999944 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1054 879 493 0 211 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4216 KiB [startup+3.11031 s] /proc/loadavg: 2.14 2.14 2.10 3/200 12343 /proc/meminfo: memFree=29835968/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=3.1 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1326 0 0 0 310 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+6.30028 s] /proc/loadavg: 2.14 2.14 2.10 3/200 12343 /proc/meminfo: memFree=29835840/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=6.29 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1431 0 0 0 629 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5078864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+12.7003 s] /proc/loadavg: 2.12 2.14 2.10 3/200 12404 /proc/meminfo: memFree=29836236/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=12.69 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1535 0 0 0 1269 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+25.5003 s] /proc/loadavg: 2.10 2.13 2.09 3/201 12406 /proc/meminfo: memFree=29835004/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=25.49 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1743 0 0 0 2549 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5082645 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+51.1103 s] /proc/loadavg: 2.06 2.12 2.09 3/200 12406 /proc/meminfo: memFree=29835052/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=51.11 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1847 0 0 0 5111 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5078484 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+102.3 s] /proc/loadavg: 2.03 2.10 2.09 3/200 12410 /proc/meminfo: memFree=29834868/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=102.3 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 1951 0 0 0 10230 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5079006 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.08 2.08 3/199 12417 /proc/meminfo: memFree=29833636/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=162.31 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 2055 0 0 0 16231 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5078444 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 162.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.07 2.07 3/199 12421 /proc/meminfo: memFree=29833840/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=222.31 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 2159 0 0 0 22231 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5076066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+282.3 s] /proc/loadavg: 2.04 2.07 2.07 3/199 12425 /proc/meminfo: memFree=29833820/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=282.32 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 2159 0 0 0 28232 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5082648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 282.32 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.06 2.07 3/199 12432 /proc/meminfo: memFree=29833092/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=342.32 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 2263 0 0 0 34232 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5078555 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+402.3 s] /proc/loadavg: 2.01 2.05 2.06 3/199 12436 /proc/meminfo: memFree=29832884/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=402.33 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 2263 0 0 0 40233 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 402.33 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.04 2.06 3/200 12448 /proc/meminfo: memFree=29831476/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=462.33 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 2367 0 0 0 46233 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5149332 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB ################ # More data... # ################ /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 1722.44 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12568 /proc/meminfo: memFree=29830448/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=1782.45 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3498 0 0 0 178245 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 1782.45 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12572 /proc/meminfo: memFree=29830572/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=1842.45 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3498 0 0 0 184245 0 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5082676 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12576 /proc/meminfo: memFree=29830584/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=1902.46 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3602 0 0 0 190245 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5078927 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 1902.46 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12583 /proc/meminfo: memFree=29830684/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=1962.47 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3602 0 0 0 196246 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5148900 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 1962.47 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12587 /proc/meminfo: memFree=29830812/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2022.47 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3693 0 0 0 202246 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5082645 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2022.47 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12591 /proc/meminfo: memFree=29831128/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2082.48 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3706 0 0 0 208247 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5074302 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2082.48 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12598 /proc/meminfo: memFree=29831068/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2142.49 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3797 0 0 0 214248 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5082648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2142.49 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 12602 /proc/meminfo: memFree=29831032/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2202.49 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3797 0 0 0 220248 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2202.49 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 12614 /proc/meminfo: memFree=29830328/32770688 swapFree=66961004/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2262.5 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3888 0 0 0 226249 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5075192 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2262.5 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 12643 /proc/meminfo: memFree=29830068/32770688 swapFree=66961008/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2322.5 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3901 0 0 0 232249 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5392160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2322.5 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 12647 /proc/meminfo: memFree=29829764/32770688 swapFree=66961008/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2382.51 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3992 0 0 0 238250 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5078927 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2382.51 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 12651 /proc/meminfo: memFree=29830660/32770688 swapFree=66961008/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2442.51 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 3992 0 0 0 244250 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5149280 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2442.51 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 12657 /proc/meminfo: memFree=29829832/32770688 swapFree=66961008/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2502.52 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 4096 0 0 0 250251 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5078360 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2502.52 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.00 2.01 2.05 3/201 12657 /proc/meminfo: memFree=29830096/32770688 swapFree=66961008/67108860 [pid=12342] ppid=12339 vsize=27624 memory=4248 CPUtime=2520.02 cores=0-3 /proc/12342/stat : 12342 (cosoco) R 12339 12342 6407 0 -1 4202496 4096 0 0 0 252001 1 0 0 20 0 1 0 410083710 28286976 1062 33554432000 4194304 6210612 140729376001984 140729375999944 5392160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41865216 140729376007179 140729376007281 140729376007281 140729376010190 0 /proc/12342/statm: 6906 1062 886 493 0 211 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4248 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 12342 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.01 s, system=0.01 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2519.8 CPU time (s): 2520.02 CPU user time (s): 2520.01 CPU system time (s): 0.01 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 27624 Max. memory (cumulated for all children) (KiB): 4248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.01 system time used= 0.01 maximum resident set size= 4316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4134 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= 14 involuntary context switches= 632 # summary of solver processes directly reported to runsolver: # pid: 12342 # total CPU time (s): 2520.02 # total CPU user time (s): 2520.01 # total CPU system time (s): 0.01 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.74695 second user time and 18.3647 second system time The end
Begin job on node116 at 2019-09-13 04:22:59 IDJOB=4389589 IDBENCH=133594 IDSOLVER=2829 FILE ID=node116/4389589-1568341420 RUNJOBID= node116-1568311136-6438 PBS_JOBID= 21701125 Free space on /tmp= 56884 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-07-0080.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389589-1568341420/watcher-4389589-1568341420 -o /tmp/evaluation-result-4389589-1568341420/solver-4389589-1568341420 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389589-1568341420.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b203975fed1c25a0b87c4f345706814 RANDOM SEED=1941484945 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 29836988 kB MemAvailable: 31848352 kB Buffers: 106316 kB Cached: 2182216 kB SwapCached: 46676 kB Active: 824468 kB Inactive: 1515112 kB Active(anon): 3284 kB Inactive(anon): 88548 kB Active(file): 821184 kB Inactive(file): 1426564 kB Unevictable: 110248 kB Mlocked: 110248 kB SwapTotal: 67108860 kB SwapFree: 66961004 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 124496 kB Mapped: 44780 kB Shmem: 31908 kB Slab: 187548 kB SReclaimable: 158900 kB SUnreclaim: 28648 kB KernelStack: 3776 kB PageTables: 5620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 527912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 56880 MiB End job on node116 at 2019-09-13 05:04:59