Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2520.03 | 2520.01 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-85-05.xml |
MD5SUM | 5a3f618f89c6aa3a803c36caec9b03ca |
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 | 78.4996 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1453 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":26,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 89 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":3}, {"degree":89,"count":29}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":2},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":5},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":2},{"arity":56,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1252},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.10/0.18 c root propagations : 0 0.10/0.18 c restarts enabled, print stats at every restarts 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c This is cosoco 2.00 -- 0.10/0.18 c 0.10/0.18 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396715-1568584714.xml 0.10/0.18 c ========================================[ Problem Statistics ]=========================================== 0.10/0.18 c | 0.10/0.18 c | Parse time : 0.17 s 0.10/0.18 c | 0.10/0.18 c | Variables: 1200 0.10/0.18 c | Domain Sizes: 2..26 0.10/0.18 c | 0.10/0.18 c | Constraints: 1478 0.10/0.18 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.18 c | 0.10/0.18 c | Types: 0.10/0.18 c | Exactly K: 26 0.10/0.18 c | Extension: 200 (nb tuples: 26..26) -- (shared: 199) 0.10/0.18 c | Sum: 1252 0.10/0.18 c | 0.10/0.18 c ========================================================================================================= 0.10/0.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/0.74 c 101 1142 84270 23248 0 0 741 769 742 1.19/1.20 c 211 1802 150130 50633 0 0 65 128 109 1.49/1.52 c 332 2483 199156 73964 0 0 102 152 135 2.19/2.20 c 465 4107 308027 106570 0 0 137 972 302 2.79/2.81 c 611 5677 403722 123755 0 0 215 906 884 3.00/3.07 c 771 6578 453890 151940 0 0 153 165 161 3.39/3.41 c 947 7692 518385 190216 0 0 149 157 153 3.69/3.74 c 1140 8632 587823 236857 0 0 138 156 147 4.10/4.12 c 1352 9664 662823 272673 0 0 137 145 140 4.49/4.53 c 1585 11027 743918 309358 0 0 133 146 142 5.10/5.18 c 1841 12605 862841 326632 0 0 147 514 486 6.69/6.76 c 2122 13959 1134244 377119 0 0 407 450 420 7.79/7.86 c 2431 15084 1330216 406397 0 0 179 400 386 8.49/8.59 c 2770 16124 1469276 433845 0 0 401 416 407 10.29/10.35 c 3142 17409 1791579 475452 0 0 178 433 422 11.00/11.03 c 3551 18680 1929585 506453 0 0 201 443 431 12.69/12.78 c 4000 20084 2259386 557329 0 0 310 452 443 13.59/13.60 c 4493 21546 2419342 586852 0 0 189 440 434 15.19/15.25 c 5035 23157 2718755 623175 0 0 204 447 436 17.49/17.56 c 5631 25297 3175419 688688 0 0 216 448 434 19.89/19.98 c 6286 27574 3670545 740302 0 0 212 447 437 22.19/22.27 c 7006 29966 4091046 800888 0 0 256 451 442 24.10/24.16 c 7798 32276 4459203 848594 0 0 274 482 471 26.59/26.62 c 8669 35307 4942159 938362 0 0 299 477 470 29.00/29.06 c 9627 38837 5391395 1000807 0 0 326 508 493 33.49/33.53 c 10680 42608 6298330 1108438 0 0 323 517 499 37.39/37.48 c 11838 46234 7093858 1225504 0 0 471 563 529 42.39/42.44 c 13111 49535 8093421 1373819 0 0 529 548 540 48.39/48.49 c 14511 57180 9221477 1498539 0 0 523 565 546 51.19/51.25 c 16051 64226 9906605 1637754 0 0 368 562 553 55.00/55.01 c 17745 69949 10603367 1729539 0 0 369 552 535 62.00/62.01 c 19608 81121 12111977 1900910 0 0 404 598 570 69.69/69.74 c 21657 87045 13683119 2061509 0 0 599 623 609 77.79/77.88 c 23910 93337 15303455 2306136 0 0 628 672 667 85.19/85.26 c 26388 112727 16772469 2604271 0 0 569 697 639 89.00/89.09 c 29113 122606 17806349 2910184 0 0 312 684 640 97.10/97.16 c 32110 139891 19393115 3305926 0 0 592 686 662 107.00/107.07 c 35406 155859 21511306 3785009 0 0 572 674 643 122.19/122.20 c 39031 167567 24442830 4175381 0 0 377 698 629 138.69/138.76 c 43018 179191 27544634 4525004 0 0 505 689 674 148.10/148.11 c 47403 196447 29262496 4958576 0 0 444 686 569 156.29/156.30 c 52226 217023 30737238 5382608 0 0 153 576 403 176.19/176.27 c 57531 240918 34685367 6056547 0 0 424 582 527 188.00/188.04 c 63366 256348 37004605 6681921 0 0 522 640 618 205.19/205.22 c 69784 277302 40340029 7455614 0 0 382 601 560 222.59/222.65 c 76843 306327 43936299 8215304 0 0 295 602 574 238.29/238.34 c 84607 331462 47737932 9448441 0 0 485 651 622 255.89/255.95 c 93147 359804 51780622 10535182 0 0 586 664 632 272.89/272.99 c 102541 385213 56039606 11617813 0 0 355 697 675 299.49/299.57 c 112874 433510 61173238 12554128 0 0 537 671 602 347.00/347.02 c 124240 495406 70795281 14241783 0 0 588 660 631 376.49/376.55 c 136742 563159 77075254 15487866 0 0 598 670 638 408.00/408.02 c 150494 638312 84376663 17014492 0 0 173 816 732 442.79/442.81 c 165621 748167 92405988 18115669 0 0 774 830 805 461.39/461.49 c 182260 826131 97783703 18998758 0 0 135 760 724 501.10/501.16 c 200562 946768 106526760 21007594 0 0 392 807 782 565.69/565.72 c 220694 1060955 115943018 23117016 0 0 332 632 431 625.00/625.03 c 242839 1178200 125279876 25062945 0 0 247 463 368 734.59/734.69 c 267198 1325177 144589817 27566259 0 0 311 764 745 818.79/818.89 c 293992 1490668 161689749 30840675 0 0 856 955 912 935.49/935.52 c 323465 1727038 182906115 34047989 0 0 848 927 897 1047.19/1047.27 c 355885 1952409 204879501 36527569 0 0 864 915 897 1203.59/1203.65 c 391547 2373166 231870692 39696286 0 0 773 956 877 1338.10/1338.14 c 430775 2629766 256052217 42727395 0 0 782 966 847 1577.10/1577.14 c 473925 3158477 299573709 49871539 0 0 812 959 893 1931.70/1931.76 c 521390 3565431 362542609 64062494 0 0 335 760 630 2128.81/2128.80 c 573601 4015229 397823140 69406984 0 0 561 722 637 2285.91/2285.98 c 631033 4286972 427625984 74811991 0 0 647 698 681 2507.61/2507.60 c 694208 4694099 468239165 81718238 0 0 651 704 683 2520.02/2520.01 2520.02/2520.01 c *** INTERRUPTED *** 2520.02/2520.01 c restarts : 69 2520.02/2520.01 c conflicts : 700450 (278 /sec) 2520.02/2520.01 c decisions : 4722650 (1874 /sec) 2520.02/2520.01 c propagations : 82314563 (32665 /sec) 2520.02/2520.01 c root propagations : 0 2520.02/2520.01 c filter calls : 470988610 (186901 /sec) 2520.02/2520.01 c useless filter calls : 450727631 (95 %) 2520.02/2520.01 c Memory used : 43.09 MB 2520.02/2520.01 c CPU time : 2519.99 s 2520.02/2520.01 c real time : 2520.01 s 2520.02/2520.01 2520.02/2520.01 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (13970 MiB free) memory of node 1: 16384 MiB (14335 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396715-1568584714/watcher-4396715-1568584714 -o /tmp/evaluation-result-4396715-1568584714/solver-4396715-1568584714 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28530 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396715-1568584714.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=30916, runsolver pid=30913 [startup+0.100165 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 30917 /proc/meminfo: memFree=28978580/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=34908 memory=11240 CPUtime=0.1 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 3005 0 0 0 10 0 0 0 20 0 1 0 434477652 35745792 2810 33554432000 4194304 6211092 140732055225440 140732055221976 140057807191013 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 8727 2810 849 493 0 2032 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34908 KiB Current children cumulated memory: 11240 KiB [startup+0.210867 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 30917 /proc/meminfo: memFree=28975372/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=37504 memory=13968 CPUtime=0.21 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 3714 0 0 0 21 0 0 0 20 0 1 0 434477652 38404096 3492 33554432000 4194304 6211092 140732055225440 140732055222712 140057807191013 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 9376 3492 887 493 0 2681 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37504 KiB Current children cumulated memory: 13968 KiB [startup+0.310843 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 30917 /proc/meminfo: memFree=28974660/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=38304 memory=15024 CPUtime=0.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 3928 0 0 0 31 0 0 0 20 0 1 0 434477652 39223296 3756 33554432000 4194304 6211092 140732055225440 140732055222712 5155345 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 9576 3756 894 493 0 2881 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38304 KiB Current children cumulated memory: 15024 KiB [startup+0.700296 s] /proc/loadavg: 2.00 2.01 2.05 3/199 30917 /proc/meminfo: memFree=28973172/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=40020 memory=16608 CPUtime=0.69 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 4355 0 0 0 69 0 0 0 20 0 1 0 434477652 40980480 4152 33554432000 4194304 6211092 140732055225440 140732055222712 5155345 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10005 4152 894 493 0 3310 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 40020 KiB Current children cumulated memory: 16608 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.05 3/199 30917 /proc/meminfo: memFree=28972800/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=40020 memory=16608 CPUtime=1.49 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 4357 0 0 0 149 0 0 0 20 0 1 0 434477652 40980480 4152 33554432000 4194304 6211092 140732055225440 140732055222712 5035283 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10005 4152 894 493 0 3310 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40020 KiB Current children cumulated memory: 16608 KiB [startup+3.11056 s] /proc/loadavg: 2.00 2.01 2.05 3/199 30917 /proc/meminfo: memFree=28969948/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43056 memory=19712 CPUtime=3.1 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 8220 0 0 0 309 1 0 0 20 0 1 0 434477652 44089344 4928 33554432000 4194304 6211092 140732055225440 140732055222712 5156256 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10764 4928 895 493 0 4069 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19712 KiB [startup+6.30028 s] /proc/loadavg: 2.00 2.01 2.05 3/199 30917 /proc/meminfo: memFree=28970084/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43056 memory=19752 CPUtime=6.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 11680 0 0 0 628 1 0 0 20 0 1 0 434477652 44089344 4938 33554432000 4194304 6211092 140732055225440 140732055223400 5155345 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 30917 /proc/meminfo: memFree=28969620/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43056 memory=19752 CPUtime=12.69 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 15229 0 0 0 1268 1 0 0 20 0 1 0 434477652 44089344 4938 33554432000 4194304 6211092 140732055225440 140732055223400 5250251 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 30918 /proc/meminfo: memFree=28969496/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43056 memory=19752 CPUtime=25.49 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 22222 0 0 0 2547 2 0 0 20 0 1 0 434477652 44089344 4938 33554432000 4194304 6211092 140732055225440 140732055223400 5035232 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+51.1102 s] /proc/loadavg: 2.00 2.01 2.05 3/199 30920 /proc/meminfo: memFree=28969112/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43056 memory=19752 CPUtime=51.1 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 22672 0 0 0 5108 2 0 0 20 0 1 0 434477652 44089344 4938 33554432000 4194304 6211092 140732055225440 140732055223400 5155320 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 30932 /proc/meminfo: memFree=28969288/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43188 memory=19816 CPUtime=102.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 23104 0 0 0 10227 2 0 0 20 0 1 0 434477652 44224512 4954 33554432000 4194304 6211092 140732055225440 140732055223400 5250467 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10797 4954 895 493 0 4102 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 43188 KiB Current children cumulated memory: 19816 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 30936 /proc/meminfo: memFree=28969284/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43320 memory=19980 CPUtime=162.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 23537 0 0 0 16227 2 0 0 20 0 1 0 434477652 44359680 4995 33554432000 4194304 6211092 140732055225440 140732055223400 5250289 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10830 4995 895 493 0 4135 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19980 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 30940 /proc/meminfo: memFree=28969444/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43320 memory=19984 CPUtime=222.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 23956 0 0 0 22227 2 0 0 20 0 1 0 434477652 44359680 4996 33554432000 4194304 6211092 140732055225440 140732055223400 5155353 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10830 4996 895 493 0 4135 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19984 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 30946 /proc/meminfo: memFree=28968920/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43320 memory=19984 CPUtime=282.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 24374 0 0 0 28227 2 0 0 20 0 1 0 434477652 44359680 4996 33554432000 4194304 6211092 140732055225440 140732055223400 5156240 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10830 4996 895 493 0 4135 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19984 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 30950 /proc/meminfo: memFree=28969072/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43320 memory=19996 CPUtime=342.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 24800 0 0 0 34227 2 0 0 20 0 1 0 434477652 44359680 4999 33554432000 4194304 6211092 140732055225440 140732055223400 5157395 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10830 4999 895 493 0 4135 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19996 KiB [startup+402.3 s] /proc/loadavg: 2.04 2.03 2.05 3/199 30955 /proc/meminfo: memFree=28968820/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43452 memory=20024 CPUtime=402.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 25281 0 0 0 40227 2 0 0 20 0 1 0 434477652 44494848 5006 33554432000 4194304 6211092 140732055225440 140732055222872 5193696 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10863 5006 895 493 0 4168 0 Current children cumulated CPU time: 402.29 s Current children cumulated vsize: 43452 KiB Current children cumulated memory: 20024 KiB [startup+462.3 s] /proc/loadavg: 2.05 2.04 2.05 3/199 30961 /proc/meminfo: memFree=28968588/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=43584 memory=20232 CPUtime=462.29 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 25786 0 0 0 46227 2 0 0 20 0 1 0 434477652 44630016 5058 33554432000 4194304 6211092 140732055225440 140732055223400 5136256 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 10896 5058 895 493 0 4201 0 Current children cumulated CPU time: 462.29 s Current children cumulated vsize: 43584 KiB Current children cumulated memory: 20232 KiB ################ # More data... # ################ /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1722.3 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31142 /proc/meminfo: memFree=28917904/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=1782.3 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 34858 0 0 0 178227 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5250224 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1782.3 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31146 /proc/meminfo: memFree=28917900/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=1842.3 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 35158 0 0 0 184227 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5250450 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1842.3 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31159 /proc/meminfo: memFree=28917576/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=1902.3 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 35436 0 0 0 190227 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5156908 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1902.3 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31163 /proc/meminfo: memFree=28917916/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=1962.3 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 35956 0 0 0 196227 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5250279 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1962.3 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31167 /proc/meminfo: memFree=28917720/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2022.3 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 36352 0 0 0 202227 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5155341 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2022.3 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31173 /proc/meminfo: memFree=28917592/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2082.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 36614 0 0 0 208228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5155539 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2082.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31177 /proc/meminfo: memFree=28917696/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2142.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 37098 0 0 0 214228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5158160 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2142.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31182 /proc/meminfo: memFree=28918404/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2202.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 37320 0 0 0 220228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5155353 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2202.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31188 /proc/meminfo: memFree=28917964/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2262.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 37631 0 0 0 226228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5193744 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2262.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31192 /proc/meminfo: memFree=28918264/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2322.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 38064 0 0 0 232228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5035283 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2322.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31197 /proc/meminfo: memFree=28917972/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2382.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 38289 0 0 0 238228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5155358 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2382.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31203 /proc/meminfo: memFree=28918220/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2442.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 38516 0 0 0 244228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5250272 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2442.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 31215 /proc/meminfo: memFree=28918172/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2502.31 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 38743 0 0 0 250228 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5157458 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2502.31 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 31217 /proc/meminfo: memFree=28917720/32770688 swapFree=66919992/67108860 [pid=30916] ppid=30913 vsize=44120 memory=20840 CPUtime=2520.02 cores=4-7 /proc/30916/stat : 30916 (cosoco) R 30913 30916 28498 0 -1 4202496 39370 0 0 0 251999 3 0 0 20 0 1 0 434477652 45178880 5210 33554432000 4194304 6211092 140732055225440 140732055223400 5250272 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 28569600 140732055229451 140732055229553 140732055229553 140732055232462 0 /proc/30916/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 30916 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.99 s, system=0.037 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.03 CPU user time (s): 2519.99 CPU system time (s): 0.037 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 44120 Max. memory (cumulated for all children) (KiB): 20840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.99 system time used= 0.037 maximum resident set size= 20904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39421 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= 21 involuntary context switches= 740 # summary of solver processes directly reported to runsolver: # pid: 30916 # total CPU time (s): 2520.03 # total CPU user time (s): 2519.99 # total CPU system time (s): 0.037 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.40313 second user time and 18.8657 second system time The end
Begin job on node120 at 2011-12-17 06:18:56 IDJOB=4396715 IDBENCH=128124 IDSOLVER=2848 FILE ID=node120/4396715-1568584714 RUNJOBID= node120-1324087207-28530 PBS_JOBID= 21703329 Free space on /tmp= 61652 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-85-05.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396715-1568584714/watcher-4396715-1568584714 -o /tmp/evaluation-result-4396715-1568584714/solver-4396715-1568584714 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28530 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396715-1568584714.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5a3f618f89c6aa3a803c36caec9b03ca RANDOM SEED=190110393 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: 28986008 kB MemAvailable: 31825156 kB Buffers: 193616 kB Cached: 2949556 kB SwapCached: 77548 kB Active: 1338896 kB Inactive: 1888660 kB Active(anon): 4732 kB Inactive(anon): 129020 kB Active(file): 1334164 kB Inactive(file): 1759640 kB Unevictable: 107628 kB Mlocked: 107628 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2488 kB Writeback: 0 kB AnonPages: 60340 kB Mapped: 53604 kB Shmem: 41008 kB Slab: 151880 kB SReclaimable: 122356 kB SUnreclaim: 29524 kB KernelStack: 3776 kB PageTables: 5544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 546184 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 61648 MiB End job on node120 at 2011-12-17 07:00:56