Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.04 | 2520.01 |
Name | Primes/ Primes-m1-p10/Primes-10-60-3-7.xml |
MD5SUM | 24593adebe844e759ba30cbfe45e1115 |
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 | 71.7379 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 60 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"count":97}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":3},{"degree":1,"count":4},{"degree":2,"count":14},{"degree":3,"count":20},{"degree":4,"count":25},{"degree":5,"count":13},{"degree":6,"count":10},{"degree":7,"count":8},{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":3,"count":6},{"arity":4,"count":7},{"arity":5,"count":12},{"arity":6,"count":1},{"arity":7,"count":9},{"arity":8,"count":7},{"arity":9,"count":9},{"arity":10,"count":9}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":60}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c root propagations : 351 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-4389553-1568340322.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: 100 0.00/0.01 c | Domain Sizes: 28..28 0.00/0.01 c | 0.00/0.01 c | Constraints: 60 0.00/0.01 c | Arity: 3..10 -- Ternary: 6 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | Sum: 60 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[19] 0.00/0.01 c remove useless variable x[71] 0.00/0.01 c remove useless variable x[98] 0.00/0.02 c 101 141 7713 31475 36 0 8 25 22 0.00/0.04 c 211 407 27095 65520 36 0 5 19 13 0.00/0.05 c 332 664 38337 89490 36 0 8 30 20 0.00/0.06 c 465 881 45728 106637 36 0 8 27 23 0.00/0.07 c 611 1140 53123 132437 36 0 16 25 20 0.00/0.09 c 771 1430 67760 165812 36 0 14 28 25 0.00/0.10 c 947 1737 82605 204476 36 0 23 34 28 0.10/0.12 c 1140 2016 102891 239626 36 0 23 30 28 0.10/0.14 c 1352 2364 117245 272848 36 0 12 30 23 0.10/0.18 c 1585 2747 148693 355467 36 0 13 21 17 0.10/0.20 c 1841 3350 173222 406841 36 0 10 27 18 0.21/0.24 c 2122 3754 202241 468618 36 0 8 30 26 0.21/0.27 c 2431 4168 230381 561205 36 0 9 26 21 0.21/0.30 c 2770 4742 261253 617655 36 0 10 35 29 0.31/0.33 c 3142 5284 283684 667980 36 0 11 25 20 0.31/0.36 c 3551 6035 312176 747612 36 0 12 26 20 0.31/0.40 c 4000 6612 344367 820987 36 0 20 27 22 0.41/0.46 c 4493 7391 397054 939289 36 0 17 27 21 0.41/0.49 c 5035 8358 426836 1001333 36 0 11 27 20 0.51/0.52 c 5631 9303 455556 1063938 36 0 13 24 19 0.51/0.54 c 6286 10171 475928 1119250 36 0 14 27 21 0.51/0.59 c 7006 11511 514705 1212933 36 0 8 28 19 0.60/0.66 c 7798 12799 573893 1375861 36 0 14 28 22 0.69/0.71 c 8669 14107 616822 1492316 36 0 16 27 21 0.69/0.79 c 9627 15376 685810 1688744 36 0 19 26 24 0.79/0.87 c 10680 17267 760313 1877529 36 0 20 31 24 0.89/0.97 c 11838 19336 847905 2080471 36 0 20 31 25 1.00/1.10 c 13111 21673 957294 2360717 36 0 20 31 24 1.10/1.19 c 14511 24111 1045053 2520963 36 0 13 26 19 1.19/1.29 c 16051 26625 1131764 2713330 36 0 13 28 19 1.39/1.46 c 17745 29114 1278569 3065117 36 0 13 25 19 1.59/1.62 c 19608 31710 1413751 3440802 36 0 14 22 18 1.79/1.82 c 21657 34813 1580225 3913188 36 0 9 27 21 1.89/1.98 c 23910 38317 1717905 4319146 36 0 14 28 21 2.10/2.12 c 26388 41964 1843207 4613596 36 0 13 24 17 2.29/2.30 c 29113 46961 2000706 4940818 36 0 11 27 20 2.49/2.54 c 32110 51818 2216993 5401740 36 0 11 25 18 2.69/2.74 c 35406 56322 2380527 5881166 36 0 14 29 21 2.89/3.00 c 39031 62571 2601211 6490207 36 0 15 27 19 3.19/3.29 c 43018 68435 2855858 7125064 36 0 11 30 19 3.49/3.53 c 47403 75352 3067927 7585815 36 0 13 27 19 3.79/3.83 c 52226 82682 3315437 8297433 36 0 17 31 22 4.19/4.21 c 57531 91451 3636577 9220025 36 0 18 27 22 4.69/4.73 c 63366 100791 4090197 10307534 36 0 14 25 19 5.39/5.40 c 69784 111308 4681886 11777211 36 0 14 29 21 5.89/5.91 c 76843 123505 5113186 12991156 36 0 18 32 23 6.39/6.43 c 84607 136100 5568909 14051090 36 0 12 33 18 6.89/6.90 c 93147 150828 6004005 14887563 36 0 11 31 20 7.79/7.81 c 102541 164953 6824204 16626343 36 0 13 31 23 8.39/8.40 c 112874 181301 7353935 17775259 36 0 12 28 18 8.89/9.00 c 124240 197849 7878450 19101455 36 0 12 25 20 9.79/9.89 c 136742 215848 8656456 21149009 36 0 11 31 23 10.59/10.65 c 150494 236316 9346896 22586493 36 0 10 29 19 11.29/11.38 c 165621 256170 9942638 24447439 36 0 9 29 19 12.39/12.45 c 182260 279925 10855201 26764214 36 0 12 24 18 13.49/13.56 c 200562 307063 11796814 29330821 36 0 7 29 20 14.59/14.66 c 220694 335668 12729056 31889446 36 0 7 28 19 16.19/16.29 c 242839 369127 14143646 35643114 36 0 6 29 20 18.19/18.20 c 267198 407345 15779013 40025766 36 0 8 30 20 20.49/20.55 c 293992 446719 17809354 44358586 36 0 8 26 15 23.00/23.02 c 323465 488502 19961320 49899683 36 0 11 33 21 25.29/25.36 c 355885 536071 21993677 55074042 36 0 13 31 20 28.19/28.24 c 391547 594475 24467669 61632420 36 0 13 32 20 31.29/31.36 c 430775 647836 27216235 68421904 36 0 13 31 21 34.69/34.73 c 473925 708910 30199610 75787878 36 0 11 35 22 38.19/38.25 c 521390 788066 33148780 84332144 36 0 16 35 22 42.49/42.53 c 573601 866837 36828320 94791602 36 0 16 31 21 46.49/46.54 c 631033 959708 40280846 104161364 36 0 16 36 22 50.89/50.94 c 694208 1051536 43949208 114483884 36 0 16 35 21 56.49/56.53 c 763700 1162549 48791121 127190155 36 0 16 30 22 60.69/60.77 c 840141 1285120 52511712 135287445 36 0 9 31 19 65.39/65.48 c 924226 1406396 56751232 143487936 36 0 12 29 20 72.29/72.34 c 1016719 1551388 62598689 158422301 36 0 12 35 21 78.19/78.25 c 1118461 1723705 67868243 170315939 36 0 11 28 20 85.19/85.28 c 1230377 1889890 74237767 182072175 36 0 13 30 20 90.89/90.95 c 1353484 2080812 79181596 193517414 36 0 11 27 18 98.19/98.20 c 1488901 2324554 85465541 208415746 36 0 10 29 19 107.19/107.20 c 1637859 2540180 93773342 222046959 36 0 13 29 20 116.59/116.62 c 1801712 2783915 101889797 242312618 36 0 9 30 22 127.69/127.73 c 1981950 3050170 111515296 265234481 36 0 9 29 18 140.10/140.14 c 2180211 3342688 122236108 292911670 36 0 9 35 21 151.69/151.79 c 2398298 3693382 132337406 316578315 36 0 9 35 19 167.59/167.66 c 2638193 4011512 145820728 355083109 36 0 11 31 21 186.70/186.70 c 2902077 4417940 162062119 399670394 36 0 8 35 21 205.00/205.05 c 3192349 4822920 178216869 431868281 36 0 10 29 16 228.10/228.16 c 3511648 5313427 198393139 483661716 36 0 10 30 20 248.59/248.68 c 3862876 5862089 216439494 527179449 36 0 9 30 20 273.80/273.83 c 4249226 6509992 238441384 577666696 36 0 10 30 17 296.60/296.69 c 4674211 7105868 258731341 623400056 36 0 15 31 22 330.70/330.76 c 5141694 7833497 288410169 702094218 36 0 16 35 21 357.90/357.93 c 5655925 8589250 311906711 757809208 36 0 9 30 19 391.90/391.99 c 6221579 9435774 341125598 831794239 36 0 9 35 20 427.11/427.19 c 6843798 10436027 372166652 894092846 36 0 8 29 17 470.80/470.89 c 7528238 11447850 409356306 981310723 36 0 9 29 17 512.01/512.06 c 8281122 12582443 445494137 1059577233 36 0 12 29 19 559.70/559.73 c 9109294 14035935 487008732 1153854168 36 0 10 29 18 610.70/610.77 c 10020283 15398682 530802051 1266638151 36 0 13 33 22 665.90/665.91 c 11022370 17058511 579628798 1373476267 36 0 9 29 18 726.60/726.67 c 12124665 18665502 631619611 1506728326 36 0 13 33 21 785.90/785.99 c 13337189 20474974 683179827 1624635286 36 0 10 32 18 864.01/864.10 c 14670965 22379661 749299181 1807026728 36 0 13 33 22 946.90/946.99 c 16138118 24524813 821070141 1966377985 36 0 9 34 17 1055.01/1055.09 c 17751986 26879360 916798793 2194854518 36 0 8 32 20 1196.70/1196.72 c 19527240 29201941 1035638407 2512406429 36 0 13 36 21 1332.50/1332.51 c 21480019 32017599 1154283298 2799548158 36 0 13 35 22 1479.20/1479.22 c 23628075 35389801 1287545767 3039903686 36 0 8 35 18 1612.81/1612.86 c 25990936 38829175 1406553594 3279940163 36 0 9 35 17 1784.61/1784.62 c 28590083 42469513 1559714027 3573627572 36 0 7 35 18 2015.91/2015.91 c 31449144 46570000 1761502015 4071383136 36 0 6 33 21 2224.31/2224.31 c 34594111 51048251 1938246301 4495525352 36 0 9 30 16 2398.22/2398.21 c 38053574 55780008 2086994557 4855564977 36 0 9 31 17 2520.03/2520.01 2520.03/2520.01 c *** INTERRUPTED *** 2520.03/2520.01 c restarts : 111 2520.03/2520.01 c conflicts : 39831283 (15806 /sec) 2520.03/2520.01 c decisions : 58404005 (23176 /sec) 2520.03/2520.01 c propagations : 5134705360 (2037559 /sec) 2520.03/2520.01 c root propagations : 351 2520.03/2520.01 c filter calls : 2191509037 (869637 /sec) 2520.03/2520.01 c useless filter calls : 1407071101 (64 %) 2520.03/2520.01 c Memory used : 26.72 MB 2520.03/2520.01 c CPU time : 2520.03 s 2520.03/2520.01 c real time : 2520.01 s 2520.03/2520.01 2520.03/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 (13564 MiB free) memory of node 1: 16384 MiB (13601 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389553-1568340322/watcher-4389553-1568340322 -o /tmp/evaluation-result-4389553-1568340322/solver-4389553-1568340322 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389553-1568340322.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 solver pid=16138, runsolver pid=16135 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 1.92 2.03 2.08 3/199 16139 /proc/meminfo: memFree=27817492/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=3972 CPUtime=0.1 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1169 0 0 0 10 0 0 0 20 0 1 0 410038505 28012544 993 33554432000 4194304 6210612 140721136366720 140721136363256 5149314 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 993 862 493 0 144 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 3972 KiB [startup+0.210587 s]* /proc/loadavg: 1.92 2.03 2.08 3/199 16139 /proc/meminfo: memFree=27817492/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=3972 CPUtime=0.21 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1169 0 0 0 21 0 0 0 20 0 1 0 410038505 28012544 993 33554432000 4194304 6210612 140721136366720 140721136363256 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 993 862 493 0 144 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 3972 KiB [startup+0.310039 s]* /proc/loadavg: 1.92 2.03 2.08 3/199 16139 /proc/meminfo: memFree=27817152/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=3972 CPUtime=0.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1169 0 0 0 31 0 0 0 20 0 1 0 410038505 28012544 993 33554432000 4194304 6210612 140721136366720 140721136363256 5148316 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 993 862 493 0 144 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 3972 KiB [startup+0.700286 s] /proc/loadavg: 1.92 2.03 2.08 3/199 16139 /proc/meminfo: memFree=27817152/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=3972 CPUtime=0.69 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1169 0 0 0 69 0 0 0 20 0 1 0 410038505 28012544 993 33554432000 4194304 6210612 140721136366720 140721136364680 5150698 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 993 862 493 0 144 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 3972 KiB [startup+1.50029 s] /proc/loadavg: 1.92 2.03 2.08 3/199 16139 /proc/meminfo: memFree=27816904/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=3972 CPUtime=1.49 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1169 0 0 0 149 0 0 0 20 0 1 0 410038505 28012544 993 33554432000 4194304 6210612 140721136366720 140721136364680 5149314 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 993 862 493 0 144 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 3972 KiB [startup+3.11015 s] /proc/loadavg: 1.92 2.03 2.08 3/199 16139 /proc/meminfo: memFree=27816808/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=3.1 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1234 0 0 0 310 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149290 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+6.30028 s] /proc/loadavg: 1.93 2.02 2.08 3/199 16139 /proc/meminfo: memFree=27816808/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=6.29 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1299 0 0 0 629 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149790 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+12.7003 s] /proc/loadavg: 1.93 2.02 2.08 3/199 16141 /proc/meminfo: memFree=27816528/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=12.69 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1364 0 0 0 1269 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5380107 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+25.5003 s] /proc/loadavg: 1.95 2.02 2.08 3/199 16141 /proc/meminfo: memFree=27816832/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=25.49 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1494 0 0 0 2549 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5150204 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+51.1101 s] /proc/loadavg: 1.97 2.02 2.08 3/199 16142 /proc/meminfo: memFree=27817232/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=51.1 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1561 0 0 0 5110 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5148268 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.02 2.07 3/199 16148 /proc/meminfo: memFree=27815676/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=102.29 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1627 0 0 0 10229 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5150385 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.06 3/199 16153 /proc/meminfo: memFree=27816208/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=162.29 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1693 0 0 0 16229 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5150364 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+222.3 s] /proc/loadavg: 1.80 1.97 2.04 3/199 16221 /proc/meminfo: memFree=27834212/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=222.29 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1759 0 0 0 22229 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+282.3 s] /proc/loadavg: 1.93 1.97 2.04 3/200 16235 /proc/meminfo: memFree=27832112/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=282.3 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1825 0 0 0 28230 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5148660 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 282.3 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+342.3 s] /proc/loadavg: 1.97 1.98 2.04 3/200 16239 /proc/meminfo: memFree=27832764/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=342.3 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1891 0 0 0 34230 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5148516 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 342.3 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+402.3 s] /proc/loadavg: 1.99 1.98 2.04 3/200 16243 /proc/meminfo: memFree=27833344/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=402.3 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 1957 0 0 0 40230 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5397269 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 402.3 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.04 3/200 16309 /proc/meminfo: memFree=27832136/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=462.3 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 2023 0 0 0 46230 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5148873 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 462.3 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB ################ # More data... # ################ /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 1722.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+1782.3 s] /proc/loadavg: 2.08 2.03 2.05 3/199 16850 /proc/meminfo: memFree=27828876/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=1782.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3372 0 0 0 178231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5148408 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 1782.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+1842.3 s] /proc/loadavg: 2.03 2.03 2.05 3/199 16854 /proc/meminfo: memFree=27828860/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=1842.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3438 0 0 0 184231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 1842.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 16860 /proc/meminfo: memFree=27828460/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=1902.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3492 0 0 0 190231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5150654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 1902.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 16865 /proc/meminfo: memFree=27829204/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=1962.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3546 0 0 0 196231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149269 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 1962.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 16869 /proc/meminfo: memFree=27828720/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2022.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3612 0 0 0 202231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149314 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2022.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 16883 /proc/meminfo: memFree=27828220/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2082.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3666 0 0 0 208231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149314 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2082.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 16932 /proc/meminfo: memFree=27827700/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2142.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3720 0 0 0 214231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5150021 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2142.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 16936 /proc/meminfo: memFree=27827480/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2202.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3774 0 0 0 220231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2202.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 16942 /proc/meminfo: memFree=27828032/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2262.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3840 0 0 0 226231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149332 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2262.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2322.3 s] /proc/loadavg: 2.04 2.03 2.05 3/201 16946 /proc/meminfo: memFree=27828360/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2322.31 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3894 0 0 0 232231 0 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5148623 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2322.31 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/200 16950 /proc/meminfo: memFree=27828264/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2382.32 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 3948 0 0 0 238231 1 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2382.32 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2442.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 16956 /proc/meminfo: memFree=27828256/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2442.32 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 4014 0 0 0 244231 1 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5150398 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2442.32 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 16960 /proc/meminfo: memFree=27828832/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2502.32 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 4068 0 0 0 250231 1 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5148325 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2502.32 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 16962 /proc/meminfo: memFree=27828832/32770688 swapFree=66919992/67108860 [pid=16138] ppid=16135 vsize=27356 memory=4028 CPUtime=2520.03 cores=4-7 /proc/16138/stat : 16138 (cosoco) R 16135 16138 9478 0 -1 4202496 4122 0 0 0 252002 1 0 0 20 0 1 0 410038505 28012544 1007 33554432000 4194304 6210612 140721136366720 140721136364680 5149321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38019072 140721136374795 140721136374897 140721136374897 140721136377806 0 /proc/16138/statm: 6839 1007 875 493 0 144 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 27356 KiB Current children cumulated memory: 4028 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 16138 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.03 s, system=0.012 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.012 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 27356 Max. memory (cumulated for all children) (KiB): 4028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.03 system time used= 0.012 maximum resident set size= 4096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4172 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 632 # summary of solver processes directly reported to runsolver: # pid: 16138 # total CPU time (s): 2520.04 # total CPU user time (s): 2520.03 # total CPU system time (s): 0.012 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.37656 second user time and 18.784 second system time The end
Begin job on node120 at 2011-12-14 10:25:44 IDJOB=4389553 IDBENCH=133411 IDSOLVER=2829 FILE ID=node120/4389553-1568340322 RUNJOBID= node120-1323826654-9510 PBS_JOBID= 21701129 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-7.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389553-1568340322/watcher-4389553-1568340322 -o /tmp/evaluation-result-4389553-1568340322/solver-4389553-1568340322 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389553-1568340322.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24593adebe844e759ba30cbfe45e1115 RANDOM SEED=2063815759 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: 27817864 kB MemAvailable: 31801564 kB Buffers: 153888 kB Cached: 4123428 kB SwapCached: 77548 kB Active: 1235240 kB Inactive: 3140832 kB Active(anon): 19596 kB Inactive(anon): 128784 kB Active(file): 1215644 kB Inactive(file): 3012048 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 141220 kB Mapped: 49172 kB Shmem: 41008 kB Slab: 172824 kB SReclaimable: 143684 kB SUnreclaim: 29140 kB KernelStack: 3760 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 561772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 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:07:45