Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.04 | 2520.01 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-15-035.xml |
MD5SUM | 95db7a436582e8fbf27db66b2c693839 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.88573 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 105 |
Number of domains | 15 |
Minimum domain size | 21 |
Maximum domain size | 35 |
Distribution of domain sizes | [{"size":21,"count":2},{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2}] |
Minimum variable degree | 14 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":14,"count":30}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":105}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 105 |
Distribution of constraint types | [{"type":"intension","count":105}] |
Optimization problem | NO |
Type of objective |
0.10/0.14 c root propagations : 0 0.10/0.14 c restarts enabled, print stats at every restarts 0.10/0.14 c 0.10/0.14 c 0.10/0.14 c 0.10/0.14 c This is cosoco 2.00 -- 0.10/0.14 c 0.10/0.14 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389362-1568360459.xml 0.10/0.14 c ========================================[ Problem Statistics ]=========================================== 0.10/0.14 c | 0.10/0.14 c | Parse time : 0.14 s 0.10/0.14 c | 0.10/0.14 c | Variables: 30 0.10/0.14 c | Domain Sizes: 21..35 0.10/0.14 c | 0.10/0.14 c | Constraints: 105 0.10/0.14 c | Arity: 4..4 0.10/0.14 c | 0.10/0.14 c | Types: 0.10/0.14 c | Intension: 105 0.10/0.14 c | 0.10/0.14 c ========================================================================================================= 0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.51/0.59 c 101 131 3956 3325 0 0 5 9 7 0.89/0.99 c 211 264 8041 6123 0 0 6 8 7 1.49/1.53 c 332 417 12716 9562 0 0 5 8 7 2.19/2.21 c 465 626 19184 13903 0 0 5 9 7 2.39/2.47 c 611 793 23916 17210 0 0 9 9 8 3.29/3.39 c 771 972 33240 21109 0 0 6 7 6 4.19/4.28 c 947 1170 44082 26129 0 0 6 8 7 4.59/4.65 c 1140 1391 50407 30069 0 0 7 9 8 5.89/5.98 c 1352 1631 64042 35414 0 0 7 8 7 6.29/6.36 c 1585 1893 71495 40078 0 0 7 9 8 7.79/7.88 c 1841 2178 86638 46954 0 0 6 8 7 8.29/8.32 c 2122 2497 95772 52620 0 0 7 9 8 9.39/9.42 c 2431 2969 110704 63138 0 0 5 9 8 10.00/10.03 c 2770 3354 121758 69134 0 0 6 9 8 10.89/10.99 c 3142 3864 137651 80314 0 0 5 9 8 13.29/13.33 c 3551 4316 162746 90735 0 0 6 8 7 13.88/13.92 c 4000 4822 177293 100048 0 0 7 9 8 16.99/17.03 c 4493 5372 208668 112864 0 0 6 8 7 17.99/18.09 c 5035 5988 226403 125059 0 0 7 9 8 19.78/19.82 c 5631 6969 255401 148528 0 0 5 9 8 20.78/20.88 c 6286 7709 276073 159914 0 0 6 9 8 22.48/22.59 c 7006 8752 306927 182759 0 0 5 9 8 27.78/27.88 c 7798 9636 358109 203260 0 0 6 8 7 32.68/32.71 c 8669 10594 412435 228479 0 0 6 8 7 34.48/34.52 c 9627 11693 442860 249383 0 0 7 9 8 37.88/37.92 c 10680 13233 489908 287265 0 0 5 9 8 40.78/40.82 c 11838 14634 530165 313300 0 0 7 9 8 45.99/46.08 c 13111 16130 591928 350502 0 0 5 9 8 54.88/55.00 c 14511 17684 673876 387417 0 0 7 8 7 59.99/60.05 c 16051 19526 725324 425847 0 0 7 9 8 69.09/69.19 c 17745 21385 818386 470732 0 0 6 8 7 72.68/72.72 c 19608 23616 880118 519543 0 0 7 9 8 83.39/83.44 c 21657 26122 988476 575504 0 0 4 8 7 88.69/88.72 c 23910 28983 1072467 634525 0 0 7 9 8 102.29/102.32 c 26388 31712 1209868 698489 0 0 4 7 6 107.79/107.80 c 29113 34927 1303859 766397 0 0 7 9 8 124.00/124.05 c 32110 38207 1467706 842354 0 0 4 7 6 147.29/147.33 c 35406 41912 1671351 932697 0 0 6 9 7 172.29/172.32 c 39031 45934 1896097 1040191 0 0 6 8 7 194.69/194.78 c 43018 50440 2115373 1140527 0 0 6 9 8 222.10/222.14 c 47403 55357 2376493 1269027 0 0 6 9 8 243.89/244.00 c 52226 61401 2620531 1410521 0 0 5 9 8 263.10/263.13 c 57531 68224 2858254 1549672 0 0 6 9 8 275.59/275.68 c 63366 75009 3051292 1687922 0 0 7 9 8 314.29/314.32 c 69784 82637 3408317 1840594 0 0 5 9 8 337.19/337.27 c 76843 92137 3672900 2043293 0 0 7 9 8 354.89/355.00 c 84607 101300 3975664 2252190 0 0 5 9 8 369.89/370.00 c 93147 111252 4266071 2446708 0 0 6 9 8 384.89/384.91 c 102541 122216 4591895 2688431 0 0 5 9 8 448.40/448.41 c 112874 133635 5226688 2982819 0 0 6 8 7 485.30/485.33 c 124240 146827 5732472 3282655 0 0 5 9 8 542.50/542.53 c 136742 161018 6364076 3541535 0 0 6 9 8 617.90/617.98 c 150494 176414 7097603 3819517 0 0 6 9 8 703.40/703.46 c 165621 193801 7966580 4239942 0 0 6 9 8 731.80/731.83 c 182260 214356 8564505 4651806 0 0 6 9 8 788.20/788.23 c 200562 235185 9369284 5100104 0 0 5 9 8 853.11/853.11 c 220694 260087 10247527 5619085 0 0 6 9 8 932.01/932.10 c 242839 286035 11240453 6184248 0 0 5 9 8 1040.60/1040.69 c 267198 314395 12480389 6794172 0 0 5 9 8 1135.01/1135.05 c 293992 347100 13630893 7533020 0 0 5 9 8 1212.70/1212.73 c 323465 381458 14766112 8212177 0 0 6 9 8 1370.01/1370.10 c 355885 420547 16379237 9002750 0 0 5 9 8 1544.02/1544.09 c 391547 461032 18200631 9831123 0 0 5 9 8 1682.12/1682.11 c 430775 507452 19790276 10752939 0 0 5 9 8 1846.41/1846.49 c 473925 559581 21861323 11867507 0 0 5 9 8 1965.12/1965.12 c 521390 619664 23654420 13132202 0 0 5 9 8 2163.02/2163.04 c 573601 683282 25952725 14456227 0 0 5 9 8 2328.41/2328.49 c 631033 754388 28095277 15937763 0 0 6 9 8 2520.03/2520.01 2520.03/2520.01 c *** INTERRUPTED *** 2520.03/2520.01 c restarts : 68 2520.03/2520.01 c conflicts : 679074 (269 /sec) 2520.03/2520.01 c decisions : 817850 (325 /sec) 2520.03/2520.01 c propagations : 17354112 (6887 /sec) 2520.03/2520.01 c root propagations : 0 2520.03/2520.01 c filter calls : 29978413 (11896 /sec) 2520.03/2520.01 c useless filter calls : 27706640 (92 %) 2520.03/2520.01 c Memory used : 30.50 MB 2520.03/2520.01 c CPU time : 2520.01 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 (13563 MiB free) memory of node 1: 16384 MiB (13564 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389362-1568360459/watcher-4389362-1568360459 -o /tmp/evaluation-result-4389362-1568360459/solver-4389362-1568360459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31075 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389362-1568360459.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=31473, runsolver pid=31470 [startup+0.100157 s]* /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27774268/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=29940 memory=6288 CPUtime=0.1 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 1764 0 0 0 10 0 0 0 20 0 1 0 412052234 30658560 1572 33554432000 4194304 6210612 140731815190848 140731815187384 139784370195429 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7485 1572 821 493 0 790 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 29940 KiB Current children cumulated memory: 6288 KiB [startup+0.210831 s]* /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27770972/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31096 memory=7572 CPUtime=0.21 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 2075 0 0 0 21 0 0 0 20 0 1 0 412052234 31842304 1893 33554432000 4194304 6210612 140731815190848 140731815187384 5451340 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7774 1893 855 493 0 1079 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 31096 KiB Current children cumulated memory: 7572 KiB [startup+0.310386 s]* /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27767996/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31096 memory=7572 CPUtime=0.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 2076 0 0 0 31 0 0 0 20 0 1 0 412052234 31842304 1893 33554432000 4194304 6210612 140731815190848 140731815187384 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7774 1893 855 493 0 1079 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 31096 KiB Current children cumulated memory: 7572 KiB [startup+0.700293 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27761220/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31096 memory=7572 CPUtime=0.69 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 2085 0 0 0 69 0 0 0 20 0 1 0 412052234 31842304 1893 33554432000 4194304 6210612 140731815190848 140731815188504 139784371119198 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7774 1893 855 493 0 1079 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 31096 KiB Current children cumulated memory: 7572 KiB [startup+1.5003 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27758616/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31096 memory=7572 CPUtime=1.49 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 2087 0 0 0 149 0 0 0 20 0 1 0 412052234 31842304 1893 33554432000 4194304 6210612 140731815190848 140731815188504 5451292 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7774 1893 855 493 0 1079 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 31096 KiB Current children cumulated memory: 7572 KiB [startup+3.11031 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27758384/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31096 memory=7704 CPUtime=3.1 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 2657 0 0 0 310 0 0 0 20 0 1 0 412052234 31842304 1926 33554432000 4194304 6210612 140731815190848 140731815188808 5455498 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7774 1926 860 493 0 1079 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 31096 KiB Current children cumulated memory: 7704 KiB [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27758460/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31096 memory=7716 CPUtime=6.29 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 3260 0 0 0 629 0 0 0 20 0 1 0 412052234 31842304 1929 33554432000 4194304 6210612 140731815190848 140731815188808 5456150 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7774 1929 860 493 0 1079 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 31096 KiB Current children cumulated memory: 7716 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27757204/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7728 CPUtime=12.69 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 3861 0 0 0 1269 0 0 0 20 0 1 0 412052234 31977472 1932 33554432000 4194304 6210612 140731815190848 140731815188808 5440952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1932 860 493 0 1112 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7728 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27757808/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7736 CPUtime=25.48 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 4378 0 0 0 2548 0 0 0 20 0 1 0 412052234 31977472 1934 33554432000 4194304 6210612 140731815190848 140731815188808 139784371119187 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1934 860 493 0 1112 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7736 KiB [startup+51.1103 s] /proc/loadavg: 2.06 2.03 2.20 3/201 31486 /proc/meminfo: memFree=27756988/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=51.09 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 4721 0 0 0 5109 0 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 5452001 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.01 2.18 3/201 31490 /proc/meminfo: memFree=27755520/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=102.29 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 5008 0 0 0 10229 0 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 5451350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.17 3/201 31494 /proc/meminfo: memFree=27754948/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=162.29 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 5295 0 0 0 16229 0 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 139784371121567 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.16 3/200 31500 /proc/meminfo: memFree=27755688/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=222.29 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 5582 0 0 0 22229 0 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 5442936 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.15 3/199 31504 /proc/meminfo: memFree=27754592/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=282.29 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 5869 0 0 0 28229 0 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 5446465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.14 3/199 31508 /proc/meminfo: memFree=27754332/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=342.29 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 6156 0 0 0 34229 0 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 5478163 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.13 3/199 31514 /proc/meminfo: memFree=27754116/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=402.29 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 6443 0 0 0 40229 0 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 139784380140358 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 402.29 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.12 3/199 31518 /proc/meminfo: memFree=27754580/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7740 CPUtime=462.3 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 6730 0 0 0 46229 1 0 0 20 0 1 0 412052234 31977472 1935 33554432000 4194304 6210612 140731815190848 140731815188808 5446014 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1935 860 493 0 1112 0 Current children cumulated CPU time: 462.3 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7740 KiB ################ # More data... # ################ /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 1722.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 31646 /proc/meminfo: memFree=27753016/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=1782.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 12770 0 0 0 178230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5439626 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 1782.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+1842.3 s] /proc/loadavg: 2.08 2.04 2.05 3/200 31652 /proc/meminfo: memFree=27753400/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=1842.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 13021 0 0 0 184230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5164288 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 1842.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+1902.3 s] /proc/loadavg: 2.03 2.04 2.05 3/200 31656 /proc/meminfo: memFree=27753832/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=1902.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 13312 0 0 0 190230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5451328 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 1902.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.03 2.05 3/200 31660 /proc/meminfo: memFree=27753492/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=1962.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 13564 0 0 0 196230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5453748 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 1962.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/198 31666 /proc/meminfo: memFree=27754636/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=2022.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 13854 0 0 0 202230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5442909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 2022.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2082.3 s] /proc/loadavg: 2.72 2.21 2.11 3/199 31671 /proc/meminfo: memFree=27753768/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=2082.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 14108 0 0 0 208230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 139784379528352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 2082.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2142.3 s] /proc/loadavg: 2.26 2.17 2.10 3/199 31675 /proc/meminfo: memFree=27753360/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=2142.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 14362 0 0 0 214230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 139784371115956 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 2142.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2202.3 s] /proc/loadavg: 2.74 2.31 2.15 3/199 31681 /proc/meminfo: memFree=27753512/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=2202.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 14650 0 0 0 220230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5442936 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 2202.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2262.3 s] /proc/loadavg: 2.27 2.25 2.14 3/199 31685 /proc/meminfo: memFree=27753260/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=2262.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 14837 0 0 0 226230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5445922 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 2262.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2322.3 s] /proc/loadavg: 2.10 2.21 2.13 3/200 31697 /proc/meminfo: memFree=27752896/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=2322.31 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 15057 0 0 0 232230 1 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5446014 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 2322.31 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2382.3 s] /proc/loadavg: 2.04 2.17 2.13 3/200 31703 /proc/meminfo: memFree=27753276/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7744 CPUtime=2382.32 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 15330 0 0 0 238230 2 0 0 20 0 1 0 412052234 31977472 1936 33554432000 4194304 6210612 140731815190848 140731815188808 5009273 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1936 860 493 0 1112 0 Current children cumulated CPU time: 2382.32 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7744 KiB [startup+2442.3 s] /proc/loadavg: 2.01 2.14 2.12 3/200 31707 /proc/meminfo: memFree=27753336/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7748 CPUtime=2442.32 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 15628 0 0 0 244230 2 0 0 20 0 1 0 412052234 31977472 1937 33554432000 4194304 6210612 140731815190848 140731815188808 5442936 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1937 860 493 0 1112 0 Current children cumulated CPU time: 2442.32 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7748 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.11 2.11 3/200 31711 /proc/meminfo: memFree=27753184/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7748 CPUtime=2502.32 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 15878 0 0 0 250230 2 0 0 20 0 1 0 412052234 31977472 1937 33554432000 4194304 6210612 140731815190848 140731815188808 139784371118991 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1937 860 493 0 1112 0 Current children cumulated CPU time: 2502.32 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7748 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.11 2.11 3/200 31713 /proc/meminfo: memFree=27753000/32770688 swapFree=66919992/67108860 [pid=31473] ppid=31470 vsize=31228 memory=7748 CPUtime=2520.03 cores=4-7 /proc/31473/stat : 31473 (cosoco) R 31470 31473 31043 0 -1 4202496 16126 0 0 0 252001 2 0 0 20 0 1 0 412052234 31977472 1937 33554432000 4194304 6210612 140731815190848 140731815188808 5446006 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 25726976 140731815195659 140731815195761 140731815195761 140731815198670 0 /proc/31473/statm: 7807 1937 860 493 0 1112 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 31228 KiB Current children cumulated memory: 7748 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 31473 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.02 s, system=0.021 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.02 CPU system time (s): 0.021 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 31228 Max. memory (cumulated for all children) (KiB): 7748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.02 system time used= 0.021 maximum resident set size= 7816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16174 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= 16 involuntary context switches= 654 # summary of solver processes directly reported to runsolver: # pid: 31473 # total CPU time (s): 2520.04 # total CPU user time (s): 2520.02 # total CPU system time (s): 0.021 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.7442 second user time and 14.4566 second system time The end
Begin job on node120 at 2011-12-14 16:01:22 IDJOB=4389362 IDBENCH=141707 IDSOLVER=2829 FILE ID=node120/4389362-1568360459 RUNJOBID= node120-1323872360-31075 PBS_JOBID= 21701193 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-035.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389362-1568360459/watcher-4389362-1568360459 -o /tmp/evaluation-result-4389362-1568360459/solver-4389362-1568360459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31075 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389362-1568360459.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 95db7a436582e8fbf27db66b2c693839 RANDOM SEED=986139102 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: 27782776 kB MemAvailable: 31818600 kB Buffers: 168080 kB Cached: 4160768 kB SwapCached: 77548 kB Active: 1247860 kB Inactive: 3162156 kB Active(anon): 3620 kB Inactive(anon): 126960 kB Active(file): 1244240 kB Inactive(file): 3035196 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2796 kB Writeback: 4 kB AnonPages: 112140 kB Mapped: 47892 kB Shmem: 41008 kB Slab: 172880 kB SReclaimable: 144444 kB SUnreclaim: 28436 kB KernelStack: 3456 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 518704 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 16:43:22