Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.04 | 2520.01 |
Name | Blackhole/Blackhole-m1-s13/ Blackhole-13-3-04.xml |
MD5SUM | 5cc270e62cab521987b2b853f5e11200 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.020399 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 104 |
Number of constraints | 87 |
Number of domains | 1 |
Minimum domain size | 52 |
Maximum domain size | 52 |
Distribution of domain sizes | [{"size":52,"count":104}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":87},{"degree":3,"count":17}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 104 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":85},{"arity":104,"count":1}] |
Number of extensional constraints | 51 |
Number of intensional constraints | 35 |
Distribution of constraint types | [{"type":"extension","count":51},{"type":"intension","count":35},{"type":"channel","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Create channel(X,Y) constraint using 52 element constraint 0.00/0.01 c root propagations : 259 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-4389378-1568343087.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: 104 0.00/0.01 c | Domain Sizes: 52..52 0.00/0.01 c | 0.00/0.01 c | Constraints: 138 0.00/0.01 c | Arity: 1..53 -- Unary: 1 -- Binary: 85 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | (X - Y < k): 34 0.00/0.01 c | Element Constant: 52 0.00/0.01 c | Extension: 51 (nb tuples: 416..416) -- (shared: 50) 0.00/0.01 c | Unary: 1 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 101 219 15930 5783 104 0 49 52 51 0.00/0.02 c 211 436 38743 23155 104 0 36 43 39 0.00/0.02 c 332 629 67923 33804 104 0 40 44 42 0.00/0.03 c 465 842 94778 60923 104 0 40 44 42 0.00/0.03 c 611 1073 125643 91372 104 0 41 44 41 0.00/0.03 c 771 1390 162789 104959 104 0 36 54 52 0.00/0.04 c 947 1695 207804 124007 104 0 45 49 46 0.00/0.05 c 1140 1991 241516 148707 104 0 40 41 39 0.00/0.05 c 1352 2512 296142 165566 104 0 40 53 50 0.00/0.06 c 1585 3003 346537 194159 104 0 47 49 48 0.00/0.06 c 1841 3550 397914 212147 104 0 46 47 46 0.00/0.07 c 2122 3996 440512 246413 104 0 44 48 47 0.00/0.09 c 2431 4661 562455 341367 104 0 36 45 39 0.00/0.09 c 2770 5385 621978 358660 104 0 46 49 48 0.00/0.10 c 3142 5897 671698 401106 104 0 45 47 46 0.10/0.11 c 3551 6529 756728 452160 104 0 40 50 48 0.10/0.12 c 4000 7402 838414 477001 104 0 44 47 46 0.10/0.13 c 4493 8038 930861 523765 104 0 42 45 43 0.10/0.14 c 5035 8908 1019571 566544 104 0 44 46 45 0.10/0.15 c 5631 10018 1135959 615387 104 0 42 51 47 0.10/0.16 c 6286 11073 1211609 665995 104 0 44 46 45 0.10/0.17 c 7006 12598 1347179 728364 104 0 44 47 45 0.10/0.19 c 7798 14138 1473183 785663 104 0 43 46 45 0.10/0.21 c 8669 15573 1658690 941272 104 0 42 46 44 0.21/0.23 c 9627 17969 1913164 1038626 104 0 45 56 53 0.21/0.25 c 10680 19267 2129342 1079700 104 0 38 44 42 0.21/0.26 c 11838 21869 2310268 1110823 104 0 43 47 45 0.21/0.29 c 13111 24544 2653618 1232307 104 0 42 45 44 0.21/0.31 c 14511 27131 2887328 1318136 104 0 44 46 45 0.31/0.33 c 16051 29601 3049422 1425292 104 0 44 46 45 0.31/0.37 c 17745 32375 3372887 1657165 104 0 39 47 44 0.41/0.44 c 19608 35003 3852056 2060502 104 0 34 39 36 0.41/0.47 c 21657 37754 4114850 2238013 104 0 43 46 45 0.41/0.50 c 23910 40651 4351762 2423906 104 0 44 45 44 0.51/0.53 c 26388 44588 4626978 2597419 104 0 43 45 44 0.51/0.60 c 29113 49429 5177891 3148603 104 0 40 56 42 0.60/0.64 c 32110 53499 5541072 3393818 104 0 43 45 44 0.69/0.76 c 35406 61467 6572850 4189204 104 0 39 55 44 0.79/0.87 c 39031 66819 7428518 4829175 104 0 43 46 44 0.89/0.92 c 43018 72336 7819825 5150523 104 0 42 46 43 0.89/0.97 c 47403 77903 8199649 5540628 104 0 43 44 43 1.00/1.02 c 52226 84043 8613656 5970500 104 0 44 44 43 1.10/1.19 c 57531 94295 10270290 7032610 104 0 42 52 50 1.19/1.29 c 63366 101986 10999043 7811301 104 0 41 46 43 1.39/1.45 c 69784 115672 12578894 8626085 104 0 44 47 46 1.59/1.62 c 76843 129075 14472655 9630957 104 0 43 46 43 1.69/1.72 c 84607 139605 15742948 9874220 104 0 39 62 51 1.79/1.88 c 93147 153139 17295026 11088016 104 0 42 46 45 1.89/1.98 c 102541 166191 18657107 11390221 104 0 41 64 63 2.39/2.40 c 112874 193223 22589742 13419188 104 0 43 55 45 2.59/2.65 c 124240 216623 24852810 15344272 104 0 41 47 44 2.79/2.89 c 136742 239519 27040971 17432074 104 0 42 47 44 3.10/3.12 c 150494 262852 29459985 18632095 104 0 41 47 44 3.39/3.40 c 165621 289820 31961880 20038900 104 0 43 47 45 3.59/3.63 c 182260 309155 34155504 21249795 104 0 41 46 44 4.00/4.04 c 200562 341076 37737254 24256095 104 0 40 45 44 4.10/4.18 c 220694 368485 39204038 24817019 104 0 42 47 46 4.39/4.43 c 242839 394118 43007838 25235512 104 0 55 62 56 4.69/4.74 c 267198 431515 45898939 27312444 104 0 47 47 46 5.00/5.02 c 293992 468254 48342865 29204371 104 0 45 47 45 5.39/5.44 c 323465 509259 52687440 31609706 104 0 38 50 46 5.69/5.77 c 355885 550752 55342699 33796607 104 0 46 47 45 6.10/6.15 c 391547 623525 60780183 34524273 104 0 54 60 56 6.79/6.86 c 430775 677392 68097865 37819681 104 0 44 53 45 7.89/7.95 c 473925 749070 78154930 42482923 104 0 43 47 45 8.49/8.58 c 521390 808173 84937665 44957975 104 0 43 48 45 9.29/9.37 c 573601 885421 92805146 48717683 104 0 44 47 45 10.10/10.18 c 631033 947628 101877384 50855702 104 0 38 45 44 11.19/11.20 c 694208 1029269 112176716 55528743 104 0 44 47 45 12.19/12.25 c 763700 1117489 123127001 59821662 104 0 43 48 45 14.39/14.45 c 840141 1248981 142685144 70987099 104 0 42 47 45 15.79/15.88 c 924226 1398052 157355479 76008972 104 0 43 47 45 17.00/17.03 c 1016719 1570847 171775295 79737500 104 0 43 47 46 19.39/19.48 c 1118461 1733872 191877040 93258839 104 0 43 47 45 21.29/21.38 c 1230377 1916255 210768935 100469354 104 0 43 47 45 22.29/22.34 c 1353484 2088904 220710612 105226003 104 0 42 48 46 24.39/24.44 c 1488901 2361249 251133901 112708190 104 0 33 53 51 26.00/26.05 c 1637859 2591139 267309517 123929240 104 0 45 46 45 28.29/28.39 c 1801712 2883042 298271280 131774069 104 0 46 52 50 30.59/30.65 c 1981950 3169487 320015591 146826951 104 0 46 46 45 33.29/33.36 c 2180211 3489807 346430494 164384931 104 0 45 46 45 36.39/36.43 c 2398298 3813746 375610260 184724079 104 0 45 46 45 42.10/42.17 c 2638193 4347088 443473602 209656724 104 0 44 56 53 49.19/49.25 c 2902077 4686798 505449019 252588114 104 0 46 46 45 59.00/59.01 c 3192349 5316735 582927854 318784544 104 0 33 43 42 69.89/70.00 c 3511648 5876332 681608768 415227339 104 0 42 47 46 75.69/75.70 c 3862876 6586710 740715606 435885091 104 0 42 47 46 80.59/80.67 c 4249226 7257730 791442692 470047759 104 0 42 47 46 89.39/89.40 c 4674211 8094118 881750295 520273529 104 0 43 48 46 103.49/103.59 c 5141694 9017471 1018150666 600626876 104 0 41 55 46 111.19/111.21 c 5655925 9914811 1095515485 641167884 104 0 42 52 46 126.69/126.70 c 6221579 11534705 1280346639 704812658 104 0 42 53 47 139.10/139.12 c 6843798 12461711 1390780968 809115679 104 0 44 50 47 152.89/152.90 c 7528238 14312234 1563834683 862130024 104 0 40 54 48 164.29/164.33 c 8281122 15349125 1673953969 932295355 104 0 41 47 44 176.89/176.94 c 9109294 16908097 1828241496 980421833 104 0 39 51 48 186.89/186.92 c 10020283 17873343 1946718720 1034370884 104 0 42 46 45 204.79/204.83 c 11022370 19349501 2118810724 1127143513 104 0 42 49 45 222.49/222.50 c 12124665 21368186 2296501332 1234136314 104 0 42 49 45 257.69/257.71 c 13337189 23691644 2616742881 1526456158 104 0 41 44 43 272.79/272.81 c 14670965 26482577 2817787139 1564058087 104 0 42 48 47 297.10/297.13 c 16138118 28672930 3052119973 1699609551 104 0 37 48 40 318.19/318.24 c 17751986 31613342 3282184472 1792140721 104 0 38 42 40 339.69/339.72 c 19527240 34066926 3483517398 1928380919 104 0 35 41 40 363.49/363.59 c 21480019 36734799 3705123385 2080495906 104 0 38 41 40 393.59/393.63 c 23628075 39684427 3977861636 2291439786 104 0 38 41 40 425.69/425.70 c 25990936 42925372 4276511574 2519427258 104 0 38 41 40 461.49/461.53 c 28590083 47642473 4677763122 2652474988 104 0 41 59 50 493.29/493.39 c 31449144 52145506 5000808698 2873963272 104 0 38 41 40 527.89/527.95 c 34594111 56427611 5418551684 2976762545 104 0 42 58 54 580.80/580.87 c 38053574 61323608 5906546319 3370273587 104 0 40 44 41 685.11/685.14 c 41858983 67490566 6826327201 4087559673 104 0 39 58 43 771.60/771.69 c 46044932 74683192 7746749852 4577505247 104 0 38 46 42 874.60/874.66 c 50649475 82974388 8727397368 5300794901 104 0 37 45 43 1021.50/1021.51 c 55714472 90054405 9866356550 6244081356 104 0 38 43 41 1100.40/1100.43 c 61285968 96056783 10591680665 6515336756 104 0 39 48 45 1239.90/1239.95 c 67414613 106282631 11853527848 7452474684 104 0 34 50 43 1380.40/1380.44 c 74156122 113912135 13177053510 8512084456 104 0 37 46 43 1538.21/1538.22 c 81571781 129687225 14836533914 9308407497 104 0 35 52 46 1690.91/1690.95 c 89729005 141801952 16429155630 10379921775 104 0 38 50 46 1789.71/1789.77 c 98701951 156253231 17520771071 10814937061 104 0 41 53 45 2033.02/2033.04 c 108572191 167420891 19964366217 11883815166 104 0 44 46 44 2373.61/2373.61 c 119429455 190000429 23269084677 13790644277 104 0 40 49 43 2520.02/2520.01 2520.02/2520.01 c *** INTERRUPTED *** 2520.02/2520.01 c restarts : 123 2520.02/2520.01 c conflicts : 128720671 (51079 /sec) 2520.02/2520.01 c decisions : 204439592 (81126 /sec) 2520.02/2520.01 c propagations : 14696248743 (5831773 /sec) 2520.02/2520.01 c root propagations : 259 2520.02/2520.01 c filter calls : 24614911431 (9767702 /sec) 2520.02/2520.01 c useless filter calls : 16178678176 (65 %) 2520.02/2520.01 c Memory used : 26.98 MB 2520.02/2520.01 c CPU time : 2520.03 s 2520.02/2520.01 c real time : 2520.01 s 2520.02/2520.01 2520.02/2520.01 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 (13577 MiB free) memory of node 1: 16384 MiB (13594 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389378-1568343087/watcher-4389378-1568343087 -o /tmp/evaluation-result-4389378-1568343087/solver-4389378-1568343087 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389378-1568343087.xml running on 4 cores: 4-7 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 Current StackSize limit: 8192 KiB solver pid=17114, runsolver pid=17111 [startup+0.100634 s]* /proc/loadavg: 1.89 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823588/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4216 CPUtime=0.1 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1233 0 0 0 10 0 0 0 20 0 1 0 410315089 28286976 1054 33554432000 4194304 6210612 140728798017408 140728798015368 5098752 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1054 850 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.210688 s]* /proc/loadavg: 1.89 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823588/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4216 CPUtime=0.21 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1233 0 0 0 21 0 0 0 20 0 1 0 410315089 28286976 1054 33554432000 4194304 6210612 140728798017408 140728798015368 5390395 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1054 850 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.310375 s]* /proc/loadavg: 1.89 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823588/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4216 CPUtime=0.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1233 0 0 0 31 0 0 0 20 0 1 0 410315089 28286976 1054 33554432000 4194304 6210612 140728798017408 140728798015368 5098842 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1054 850 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.700288 s] /proc/loadavg: 1.89 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823216/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4216 CPUtime=0.69 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1233 0 0 0 69 0 0 0 20 0 1 0 410315089 28286976 1054 33554432000 4194304 6210612 140728798017408 140728798015368 5392160 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1054 850 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.5003 s] /proc/loadavg: 1.89 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823412/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4216 CPUtime=1.49 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1233 0 0 0 149 0 0 0 20 0 1 0 410315089 28286976 1054 33554432000 4194304 6210612 140728798017408 140728798015368 5397215 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1054 850 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.11029 s] /proc/loadavg: 1.89 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823412/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=3.1 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1376 0 0 0 310 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098739 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+6.30028 s] /proc/loadavg: 1.82 1.97 2.03 3/200 17115 /proc/meminfo: memFree=27823384/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=6.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1520 0 0 0 629 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098756 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+12.7003 s] /proc/loadavg: 1.92 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823264/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=12.69 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1664 0 0 0 1269 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098872 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+25.5003 s] /proc/loadavg: 1.93 1.99 2.03 3/200 17115 /proc/meminfo: memFree=27823236/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=25.49 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 1952 0 0 0 2549 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5390351 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+51.1104 s] /proc/loadavg: 1.96 1.99 2.03 3/200 17118 /proc/meminfo: memFree=27823316/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=51.1 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 2096 0 0 0 5110 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5206688 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+102.3 s] /proc/loadavg: 1.98 1.99 2.03 3/201 17123 /proc/meminfo: memFree=27823180/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=102.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 2240 0 0 0 10229 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098917 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.03 3/201 17127 /proc/meminfo: memFree=27823336/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=162.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 2384 0 0 0 16229 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5192880 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17133 /proc/meminfo: memFree=27822764/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=222.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 2528 0 0 0 22229 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098739 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17137 /proc/meminfo: memFree=27823480/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=282.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 2672 0 0 0 28229 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5206688 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17141 /proc/meminfo: memFree=27822868/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=342.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 2816 0 0 0 34229 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5017076 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 17146 /proc/meminfo: memFree=27822436/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=402.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 2959 0 0 0 40229 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5397305 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 402.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.03 3/199 17150 /proc/meminfo: memFree=27821640/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=462.29 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 3103 0 0 0 46229 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5397282 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 462.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB ################ # More data... # ################ /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 1722.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+1782.3 s] /proc/loadavg: 2.06 2.03 2.05 3/201 17340 /proc/meminfo: memFree=27813436/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=1782.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 5998 0 0 0 178231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098906 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 1782.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+1842.3 s] /proc/loadavg: 2.02 2.02 2.05 3/201 17346 /proc/meminfo: memFree=27813532/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=1842.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 6139 0 0 0 184231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098861 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 1842.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/201 17350 /proc/meminfo: memFree=27814036/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=1902.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 6259 0 0 0 190231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5017076 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 1902.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 17354 /proc/meminfo: memFree=27813436/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=1962.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 6378 0 0 0 196231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098743 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 1962.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 17360 /proc/meminfo: memFree=27813168/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2022.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 6495 0 0 0 202231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098842 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2022.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 17364 /proc/meminfo: memFree=27813052/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2082.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 6642 0 0 0 208231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5397253 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2082.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 17368 /proc/meminfo: memFree=27812828/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2142.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 6762 0 0 0 214231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5017005 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2142.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2202.3 s] /proc/loadavg: 2.61 2.19 2.10 3/199 17374 /proc/meminfo: memFree=27813244/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2202.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 6883 0 0 0 220231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5192912 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2202.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2262.3 s] /proc/loadavg: 2.22 2.16 2.10 3/199 17378 /proc/meminfo: memFree=27812644/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2262.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 7003 0 0 0 226231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5008603 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2262.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2322.3 s] /proc/loadavg: 2.08 2.13 2.09 3/200 17390 /proc/meminfo: memFree=27812688/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2322.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 7122 0 0 0 232231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5192912 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2322.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2382.3 s] /proc/loadavg: 2.03 2.10 2.09 3/200 17396 /proc/meminfo: memFree=27813004/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2382.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 7266 0 0 0 238231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5192892 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2382.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2442.3 s] /proc/loadavg: 2.01 2.09 2.08 3/200 17400 /proc/meminfo: memFree=27812740/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2442.31 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 7388 0 0 0 244231 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5192880 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2442.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.07 2.08 3/200 17404 /proc/meminfo: memFree=27812464/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2502.32 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 7510 0 0 0 250232 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098728 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2502.32 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.07 2.07 3/200 17408 /proc/meminfo: memFree=27812752/32770688 swapFree=66919992/67108860 [pid=17114] ppid=17111 vsize=27624 memory=4284 CPUtime=2520.02 cores=4-7 /proc/17114/stat : 17114 (cosoco) R 17111 17114 9478 0 -1 4202496 7632 0 0 0 252002 0 0 0 20 0 1 0 410315089 28286976 1071 33554432000 4194304 6210612 140728798017408 140728798015368 5098794 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 24178688 140728798024715 140728798024817 140728798024817 140728798027726 0 /proc/17114/statm: 6906 1071 867 493 0 211 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4284 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 17114 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.03 s, system=0.007 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2520.04 CPU user time (s): 2520.03 CPU system time (s): 0.007 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 27624 Max. memory (cumulated for all children) (KiB): 4284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.03 system time used= 0.007 maximum resident set size= 4352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7681 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= 15 involuntary context switches= 633 # summary of solver processes directly reported to runsolver: # pid: 17114 # total CPU time (s): 2520.04 # total CPU user time (s): 2520.03 # total CPU system time (s): 0.007 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5253 second user time and 17.8246 second system time The end
Begin job on node120 at 2011-12-14 11:11:50 IDJOB=4389378 IDBENCH=134478 IDSOLVER=2829 FILE ID=node120/4389378-1568343087 RUNJOBID= node120-1323826654-9510 PBS_JOBID= 21701129 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-04.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389378-1568343087/watcher-4389378-1568343087 -o /tmp/evaluation-result-4389378-1568343087/solver-4389378-1568343087 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389378-1568343087.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5cc270e62cab521987b2b853f5e11200 RANDOM SEED=739407938 node120.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.49 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.49 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.49 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.49 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5329.69 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27824812 kB MemAvailable: 31817012 kB Buffers: 155752 kB Cached: 4130036 kB SwapCached: 77548 kB Active: 1220012 kB Inactive: 3148440 kB Active(anon): 3840 kB Inactive(anon): 128572 kB Active(file): 1216172 kB Inactive(file): 3019868 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 114676 kB Mapped: 49192 kB Shmem: 41008 kB Slab: 173244 kB SReclaimable: 143988 kB SUnreclaim: 29256 kB KernelStack: 3488 kB PageTables: 5580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 545692 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59148 MiB End job on node120 at 2011-12-14 11:53:50