Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.01 | 2520.01 |
Name | Blackhole/Blackhole-xcsp2-s13/ Blackhole-4-13-2_X2.xml |
MD5SUM | 88708c27ba26ffc45c437651276dcd59 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 208 |
Number of constraints | 4218 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 52 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":13,"count":52},{"size":26,"count":51},{"size":52,"count":102}] |
Minimum variable degree | 0 |
Maximum variable degree | 104 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":53},{"degree":3,"count":50},{"degree":52,"count":1},{"degree":53,"count":34},{"degree":54,"count":17},{"degree":104,"count":52}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4218}] |
Number of extensional constraints | 4218 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4218}] |
Optimization problem | NO |
Type of objective |
0.00/0.08 c root propagations : 793 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c This is cosoco 2.00 -- 0.00/0.08 c 0.00/0.08 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389639-1568343912.xml 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.08 s 0.00/0.08 c | 0.00/0.08 c | Variables: 208 0.00/0.08 c | Domain Sizes: 1..52 0.00/0.08 c | 0.00/0.08 c | Constraints: 4218 0.00/0.08 c | Arity: 2..2 -- Binary: 4218 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | Extension: 4218 (nb tuples: 0..1326) -- (shared: 4208) 0.00/0.08 c | 0.00/0.08 c ========================================================================================================= 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c remove useless variable z[0] 0.10/0.16 c 101 308 324309 13010 126 0 43 107 74 0.10/0.21 c 211 757 573555 22264 126 0 73 127 102 0.21/0.26 c 332 1327 808567 31880 126 0 102 125 106 0.21/0.30 c 465 1791 1010614 39903 126 0 25 146 102 0.31/0.37 c 611 2153 1366076 55824 126 0 25 36 32 0.41/0.42 c 771 2526 1647213 68755 126 0 27 33 30 0.41/0.50 c 947 3064 2053402 93643 126 0 27 38 31 0.51/0.57 c 1140 3636 2438229 107543 126 0 33 41 37 0.60/0.66 c 1352 4206 2880760 139927 126 0 29 38 32 0.69/0.74 c 1585 4872 3319108 161826 126 0 46 53 49 0.79/0.85 c 1841 5554 3914460 195752 126 0 28 33 30 0.89/0.97 c 2122 6323 4580550 238168 126 0 35 42 38 1.00/1.05 c 2431 7185 5060032 254195 126 0 49 57 54 1.10/1.14 c 2770 8483 5534409 266367 126 0 26 70 57 1.19/1.27 c 3142 9719 6264822 297959 126 0 38 51 46 1.39/1.46 c 3551 10884 7304885 361191 126 0 35 45 39 1.59/1.61 c 4000 12180 8184797 403625 126 0 35 47 41 1.79/1.81 c 4493 13494 9269006 462767 126 0 37 48 41 1.89/1.97 c 5035 15148 10146904 494693 126 0 36 53 44 2.19/2.23 c 5631 16817 11571759 567377 126 0 35 42 38 2.39/2.46 c 6286 19011 12781348 611009 126 0 11 61 45 2.69/2.75 c 7006 20891 14389461 694543 126 0 35 43 40 2.89/2.96 c 7798 23009 15640326 738166 126 0 46 52 49 3.29/3.35 c 8669 25513 17764031 874032 126 0 9 40 35 3.69/3.72 c 9627 29531 19936869 991414 126 0 37 52 45 4.19/4.20 c 10680 32396 22579269 1149784 126 0 32 39 35 4.59/4.61 c 11838 36316 25014473 1279440 126 0 40 54 47 5.10/5.11 c 13111 40054 27757082 1420179 126 0 32 41 37 5.59/5.66 c 14511 44263 30952003 1600104 126 0 30 42 36 6.19/6.22 c 16051 48272 34066004 1755667 126 0 27 31 30 6.89/6.90 c 17745 56348 38004265 1978478 126 0 28 45 40 7.69/7.72 c 19608 61681 42526689 2255544 126 0 27 34 31 8.49/8.51 c 21657 67019 47026438 2639104 126 0 26 41 33 9.10/9.14 c 23910 74806 50470258 2806332 126 0 32 48 40 9.89/9.98 c 26388 81871 55662491 3079305 126 0 47 59 53 11.00/11.06 c 29113 89724 61716139 3398694 126 0 35 44 40 12.00/12.08 c 32110 99439 67707194 3700982 126 0 35 48 41 13.39/13.47 c 35406 110096 75403056 4209762 126 0 32 46 39 14.59/14.69 c 39031 124161 82759284 4539312 126 0 33 50 41 16.38/16.47 c 43018 134338 92781711 5131704 126 0 36 46 41 18.68/18.79 c 47403 145311 105831709 6254667 126 0 30 40 35 20.48/20.52 c 52226 157976 115588541 6687044 126 0 37 45 41 22.28/22.39 c 57531 174000 126663520 7197735 126 0 37 52 46 24.48/24.57 c 63366 195925 139278569 7886156 126 0 22 39 31 26.99/27.03 c 69784 213829 153094624 8575870 126 0 37 43 41 30.18/30.22 c 76843 236663 170868270 10223824 126 0 28 42 35 33.09/33.12 c 84607 258078 187245070 10980349 126 0 39 46 44 35.88/35.98 c 93147 286443 204732140 11925176 126 0 34 53 44 37.99/38.09 c 102541 323812 217704086 12300224 126 0 39 86 54 41.88/41.93 c 112874 351855 241131371 13673872 126 0 27 46 36 45.88/45.94 c 124240 388731 265563775 14976673 126 0 44 55 50 49.18/49.26 c 136742 430395 286357026 15812596 126 0 19 43 36 54.08/54.16 c 150494 468555 316276965 17406449 126 0 40 47 45 59.87/59.97 c 165621 508340 352033512 19971656 126 0 25 40 34 67.27/67.36 c 182260 552334 396349837 22693007 126 0 30 40 35 72.17/72.29 c 200562 606249 426099223 24217288 126 0 11 53 38 76.87/76.91 c 220694 656679 455074876 25173002 126 0 45 58 55 83.47/83.50 c 242839 739884 495573918 27013404 126 0 24 44 34 91.46/91.57 c 267198 815171 544911146 29616213 126 0 37 52 44 98.66/98.78 c 293992 886371 589547633 31508981 126 0 25 41 37 108.86/108.93 c 323465 963286 652575183 34986835 126 0 30 41 35 120.07/120.11 c 355885 1101204 721397058 38967614 126 0 34 54 45 130.16/130.22 c 391547 1245728 785973432 41271217 126 0 41 59 53 138.76/138.87 c 430775 1395020 839874894 42578359 126 0 30 52 47 156.26/156.32 c 473925 1543842 947445646 49400516 126 0 22 42 33 175.56/175.60 c 521390 1693539 1068384596 56399272 126 0 30 49 40 187.66/187.72 c 573601 1833823 1143978704 58691391 126 0 22 46 42 220.55/220.67 c 631033 1992893 1343781671 76142557 126 0 34 47 41 239.86/239.98 c 694208 2172741 1462267703 81202563 126 0 41 52 46 264.46/264.54 c 763700 2398288 1618893845 88423389 126 0 33 58 46 284.16/284.23 c 840141 2619272 1743899320 93188377 126 0 37 58 46 311.66/311.77 c 924226 2849479 1914059319 101788439 126 0 39 53 48 342.76/342.88 c 1016719 3114199 2108454623 111370548 126 0 35 49 43 377.36/377.43 c 1118461 3420770 2320590172 122255496 126 0 40 50 46 409.36/409.49 c 1230377 3856089 2515302410 132064011 126 0 15 46 36 442.46/442.50 c 1353484 4271626 2718323544 139656048 126 0 38 62 51 482.26/482.33 c 1488901 4799750 2971052585 149002530 126 0 34 54 46 520.16/520.20 c 1637859 5187065 3211720611 159439276 126 0 30 48 41 571.36/571.42 c 1801712 5693678 3530689372 172932250 126 0 37 58 46 616.86/616.99 c 1981950 6295052 3818102739 182315860 126 0 33 52 46 679.76/679.83 c 2180211 6944601 4210138175 201432338 126 0 25 48 38 748.86/748.99 c 2398298 7608837 4637651711 222139901 126 0 33 53 45 841.47/841.50 c 2638193 8293476 5209532584 253781925 126 0 27 45 38 899.67/899.72 c 2902077 9252333 5572395149 263158592 126 0 18 52 44 971.08/971.12 c 3192349 10470813 6024984174 275712505 126 0 27 50 46 1123.67/1123.75 c 3511648 11289227 6950950707 342249790 126 0 27 44 35 1244.87/1244.97 c 3862876 12337228 7703425617 377066485 126 0 18 48 39 1380.87/1380.95 c 4249226 13954062 8550021763 415246693 126 0 25 51 43 1541.87/1541.96 c 4674211 15092792 9556727882 470557850 126 0 21 44 37 1704.48/1704.54 c 5141694 16504798 10559757469 521320918 126 0 34 50 42 1862.78/1862.80 c 5655925 17977653 11522927095 567553034 126 0 21 40 30 2002.78/2002.81 c 6221579 20122018 12405081763 592269290 126 0 8 55 51 2140.38/2140.45 c 6843798 22730812 13273432479 613181223 126 0 28 50 47 2425.89/2425.91 c 7528238 24818966 15051519716 709181907 126 0 27 44 36 2519.99/2520.01 2519.99/2520.01 c *** INTERRUPTED *** 2519.99/2520.01 c restarts : 94 2519.99/2520.01 c conflicts : 7835066 (3109 /sec) 2519.99/2520.01 c decisions : 25978154 (10309 /sec) 2519.99/2520.01 c propagations : 734175321 (291342 /sec) 2519.99/2520.01 c root propagations : 793 2519.99/2520.01 c filter calls : 15657167924 (6213210 /sec) 2519.99/2520.01 c useless filter calls : 15220183006 (97 %) 2519.99/2520.01 c Memory used : 33.91 MB 2519.99/2520.01 c CPU time : 2519.98 s 2519.99/2520.01 c real time : 2520 s 2519.99/2520.01 2519.99/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 (13593 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389639-1568343912/watcher-4389639-1568343912 -o /tmp/evaluation-result-4389639-1568343912/solver-4389639-1568343912 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9509 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389639-1568343912.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 Current StackSize limit: 8192 KiB solver pid=17248, runsolver pid=17245 [startup+0.100112 s]* /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27816204/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11080 CPUtime=0.1 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 2974 0 0 0 10 0 0 0 20 0 1 0 410397511 35549184 2770 33554432000 4194304 6210612 140730657552352 140730657548888 5397215 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2770 813 493 0 1984 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11080 KiB [startup+0.210706 s]* /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27816204/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11080 CPUtime=0.21 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 2979 0 0 0 21 0 0 0 20 0 1 0 410397511 35549184 2770 33554432000 4194304 6210612 140730657552352 140730657548888 5016880 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2770 813 493 0 1984 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11080 KiB [startup+0.310382 s]* /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27815528/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11080 CPUtime=0.31 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 2985 0 0 0 31 0 0 0 20 0 1 0 410397511 35549184 2770 33554432000 4194304 6210612 140730657552352 140730657548888 5389281 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2770 813 493 0 1984 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11080 KiB [startup+0.700265 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27815528/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11080 CPUtime=0.69 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 2985 0 0 0 69 0 0 0 20 0 1 0 410397511 35549184 2770 33554432000 4194304 6210612 140730657552352 140730657550312 5017196 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2770 813 493 0 1984 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11080 KiB [startup+1.50025 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27815508/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11080 CPUtime=1.49 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 2985 0 0 0 149 0 0 0 20 0 1 0 410397511 35549184 2770 33554432000 4194304 6210612 140730657552352 140730657550312 5017196 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2770 813 493 0 1984 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11080 KiB [startup+3.1104 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27815632/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=3.1 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 4854 0 0 0 310 0 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017147 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+6.30024 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27815248/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=6.29 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 6723 0 0 0 629 0 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017249 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17249 /proc/meminfo: memFree=27815652/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=12.69 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 8592 0 0 0 1269 0 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017201 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17251 /proc/meminfo: memFree=27815384/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=25.48 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 12329 0 0 0 2548 0 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017201 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+51.1102 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17251 /proc/meminfo: memFree=27815692/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=51.08 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 13199 0 0 0 5108 0 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5389281 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17255 /proc/meminfo: memFree=27815452/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=102.26 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 14066 0 0 0 10226 0 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017104 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/200 17263 /proc/meminfo: memFree=27813908/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=162.26 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 14933 0 0 0 16226 0 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017094 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/200 17267 /proc/meminfo: memFree=27814264/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=222.26 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 15800 0 0 0 22225 1 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5008459 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/200 17278 /proc/meminfo: memFree=27814272/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=282.26 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 16667 0 0 0 28225 1 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017198 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/200 17284 /proc/meminfo: memFree=27814100/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=342.26 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 17533 0 0 0 34225 1 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5397235 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/200 17288 /proc/meminfo: memFree=27813760/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=402.26 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 18400 0 0 0 40225 1 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5008459 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17292 /proc/meminfo: memFree=27813912/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=462.26 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 19266 0 0 0 46225 1 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017187 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB ################ # More data... # ################ /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 1722.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+1782.3 s] /proc/loadavg: 1.22 1.79 1.97 2/192 17461 /proc/meminfo: memFree=27818652/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=1782.28 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 36184 0 0 0 178226 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017108 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 1782.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+1842.3 s] /proc/loadavg: 1.08 1.65 1.91 2/193 17466 /proc/meminfo: memFree=27818016/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=1842.28 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 36927 0 0 0 184226 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 1842.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+1902.3 s] /proc/loadavg: 1.03 1.53 1.86 2/193 17470 /proc/meminfo: memFree=27818180/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=1902.28 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 37794 0 0 0 190226 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017191 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 1902.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+1962.3 s] /proc/loadavg: 1.01 1.43 1.80 2/193 17477 /proc/meminfo: memFree=27818356/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=1962.28 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 38352 0 0 0 196226 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017094 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 1962.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2022.3 s] /proc/loadavg: 1.00 1.35 1.75 2/193 17481 /proc/meminfo: memFree=27818064/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2022.28 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 39219 0 0 0 202226 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5396512 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2022.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2082.3 s] /proc/loadavg: 1.00 1.29 1.71 2/193 17492 /proc/meminfo: memFree=27817456/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2082.28 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 39813 0 0 0 208226 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017196 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2082.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2142.3 s] /proc/loadavg: 1.00 1.24 1.66 2/193 17521 /proc/meminfo: memFree=27817888/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2142.28 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 40680 0 0 0 214226 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2142.28 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2202.3 s] /proc/loadavg: 1.00 1.19 1.62 2/193 17525 /proc/meminfo: memFree=27817996/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2202.29 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 41291 0 0 0 220227 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5016853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2202.29 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2262.3 s] /proc/loadavg: 1.00 1.16 1.58 2/193 17529 /proc/meminfo: memFree=27818116/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2262.29 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 41879 0 0 0 226227 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017108 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2262.29 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2322.3 s] /proc/loadavg: 1.00 1.13 1.55 2/193 17535 /proc/meminfo: memFree=27818264/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2322.29 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 42546 0 0 0 232227 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2322.29 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2382.3 s] /proc/loadavg: 1.00 1.11 1.51 2/193 17539 /proc/meminfo: memFree=27818556/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2382.29 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 43186 0 0 0 238227 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017196 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2382.29 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2442.3 s] /proc/loadavg: 1.34 1.17 1.51 2/193 17543 /proc/meminfo: memFree=27818780/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2442.29 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 44053 0 0 0 244227 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017108 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2442.29 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB [startup+2502.3 s] /proc/loadavg: 1.32 1.21 1.50 2/192 17549 /proc/meminfo: memFree=27818024/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2502.29 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 44666 0 0 0 250227 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017196 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2502.29 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 1.25 1.20 1.49 2/192 17549 /proc/meminfo: memFree=27818032/32770688 swapFree=66919992/67108860 [pid=17248] ppid=17245 vsize=34716 memory=11292 CPUtime=2519.99 cores=0-3 /proc/17248/stat : 17248 (cosoco) R 17245 17248 9478 0 -1 4202496 45239 0 0 0 251997 2 0 0 20 0 1 0 410397511 35549184 2823 33554432000 4194304 6210612 140730657552352 140730657550312 5017094 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38051840 140730657555467 140730657555569 140730657555569 140730657558478 0 /proc/17248/statm: 8679 2823 853 493 0 1984 0 Current children cumulated CPU time: 2519.99 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11292 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 17248 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.98 s, system=0.026999 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.01 CPU user time (s): 2519.98 CPU system time (s): 0.026999 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 34716 Max. memory (cumulated for all children) (KiB): 11292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.98 system time used= 0.026999 maximum resident set size= 11360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45291 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= 17 involuntary context switches= 1178 # summary of solver processes directly reported to runsolver: # pid: 17248 # total CPU time (s): 2520.01 # total CPU user time (s): 2519.98 # total CPU system time (s): 0.026999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.81934 second user time and 17.9567 second system time The end
Begin job on node120 at 2011-12-14 11:25:34 IDJOB=4389639 IDBENCH=134517 IDSOLVER=2829 FILE ID=node120/4389639-1568343912 RUNJOBID= node120-1323826654-9509 PBS_JOBID= 21701129 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s13/Blackhole-4-13-2_X2.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389639-1568343912/watcher-4389639-1568343912 -o /tmp/evaluation-result-4389639-1568343912/solver-4389639-1568343912 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9509 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389639-1568343912.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88708c27ba26ffc45c437651276dcd59 RANDOM SEED=1402889374 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: 27823180 kB MemAvailable: 31816240 kB Buffers: 156220 kB Cached: 4130112 kB SwapCached: 77548 kB Active: 1220196 kB Inactive: 3149064 kB Active(anon): 3788 kB Inactive(anon): 128572 kB Active(file): 1216408 kB Inactive(file): 3020492 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 121000 kB Mapped: 49052 kB Shmem: 41008 kB Slab: 172736 kB SReclaimable: 143988 kB SUnreclaim: 28748 kB KernelStack: 3760 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 545712 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 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= 59152 MiB End job on node120 at 2011-12-14 12:07:35